1. Net theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979 (Ed. W. Brauer) Lecture Notes in Computer Science 84, Springer Verlag 1980.
2. Hoare, C.A.R.: Synchronisation of Parallel Processes. In: Advanced Techniques for Microprocessor Systems. (Ed. F.K. Hanna ), Peter Peregrinus Ltd. 1980.
3. Hoare, C.A.R.: Communicating Sequential Processes. Ins On the construction of programs. (Eds. McKeag and MacNaghten) Cambridge University Press 1980.
4. Milner, R.2: A Calculus of Communicating Systems. Lecture Notes in Computer Science 921 Springer Verlag 1980.
5. Lauer, P.E., Campbell, R.H.: Pormal semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, 247–332 (1975).