1. ‘Occam 2.1 reference manual’, Tech., May, 1995 Available at: http://www.wotug.org/occam
2. Hoare, C.A.R.: ‘Communicating sequential processes’, (Prentice-Hall, London 1985)
3. Roscoe, A.W.: ‘The theory and practice of concurrency’, (Prentice Hall, London 1997)
4. The IMS T800 Transputer