Manfred Broy On language constructs for concurrent programs. 141-154 1981 conf/conpar/1981 CONPAR db/conf/conpar/conpar1981.html#Broy81 https://doi.org/10.1007/BFb0105115