1. Occam Programming Manual. Prentice-Hall International 1984.
2. C A Mead and L A Conway: Introduction to VLSI Systems. Addison Wesley 1980 Section 5.
3. Communicating Sequential Processes, C A R Hoare, Communications of the ACM Vol. 21, 8 (August 1978) p. 666.
4. Denotational Semantics for Occam, A W Roscoe. Presented at NSF/SERC Seminar on Concurrency, Carnegie-Mellon University, July 1984. To be published.
5. The Laws of Occam Programming, A W Roscoe and C A R Hoare, Programming Research Group, Oxford University, 1986.