1. The UNIX time-sharing system
2. ‘Cooperating sequential processes’, in Programming Languages, Academic Press, 1968, pp. 43–112.
3. Revised report on the algorithmic language ALGOL 68
4. ‘A programming methodology for operating system design’, in (Ed.) Information Processing 74, North Holland, Amsterdam, (1974), p. 394.
5. Structured multiprogramming