1. Best E., Adequacy Properties of Path Programs, Theoretical Computer Science 18 (1982), 149–171.
2. Brauer W. (Ed.), Application and Theory of Petri Nets, Lecture Notes in Computer Science 84, Springer 1980.
3. Cotronis J.Y., Programming and verifying asynchronous systems, Ph.D. Thesis, Report ASM/123, Computing Laboratory, University of Newcastle upon Tyne, 1982.
4. Genrich H., Handlungslogik: Logik des Planens, Delegierens und Handelns, unpublished memo, 1975.
5. Hoare C.A.R., Notes on Communicating Sequential Systems, In: M. Broy (Ed.) Control Flow and Data Flow: Concepts of Distributing Programming, NATO ASI Series Vol. F14, Springer 1985, 123–204.