1. Austry D., Boudol G. Algebre de Processus et Synchronization. Theoret. Comput. Sci. Vol. 30, No 1, North Holland, Amsterdam, 1984.
2. Aceto L., De Nicola R., Fantechi A. Testing Equivalences for Event Structures. LNCS, Vol. 280, p. 1–20, 1987.
3. Baeten J., Bergstra J., Klop J. An operational semantics for process algebra. Report CS-R8522 Centrum voor Wiskunde en Informatica, 1985.
4. Brookes S.D., Hoare C.A.R., Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No 3, pp. 560–599, 1984.
5. Bergstra J., Klop G. Process Algebra for Synchronous Communication. — Information and Control, Vol. 60, pp. 109–137, North Holland, Amsterdam, 1984.