1. TDFL: A task-level data flow language
2. and , Structured Programming, London, Academic Press, 1972.
3. and , Structured Design, Englewood Cliffs, NJ: Prentice-Hall, 1979.
4. A Calculus of Communicating Systems, Springer-Verlag, LNCS 92, 1980.
5. Communicating Sequential Processes, Prentice-Hall International, 1985.