1. Milner, R., A Calculus for Communicating Systems, Springer LNCS Vol. 92 (1980).
2. Hoare, C.A.R., Brookes, S.D., and Roscoe, A.W., A Theory of Communicating Sequential Processes, Technical Report PRG-16, Oxford University Computing Laboratory, Programming Research Group (1981).
3. Hennessy, M.C.B. and Plotkin, G.D., A Term Model for CCS, Proceedings of 9th MFCS Conference, Springer LNCS Vol. 88 (1980).
4. Hennessy, M.C.B. and Milner, R., On observing nondeterminism and concurrency, in: Springer LNCS Vol. 85 (1979).
5. Hoare, C.A.R., Communicating Sequential Processes, CACM 21, Vol. 8 (1978).