1. Communicating Sequential Processes, Prentice Hall International, London, 1985.
2. INMOS Limited, Occam2 Reference Manual, Prentice Hall International, London, 1988.
3. ‘Tiny discussion and user guide’, ECSP User Guide 9, 1989.
4. What price regularity?
5. ‘Efficiently exploring random graphs’, ECSP Technical Note, to be published.