A. Mazurkiewicz, “Concurrent Program Schemes and their Interpretations”, DPB, vol. 6, no. 78, Jul. 1977.