Software design language for concurrent distributed systems - Mustafa, Yahya Mohamed Zeidan (1992)