1. Dataless Programming, 1967 Fall Joint Computer Conference, AFIPS, pp. 535–544.
2. Task communication in DEMOS
3. The nucleus of a multiprogramming system
4. Operating System Principles, Prentice-Hall, Englewood Cliffs, New Jersey, 1973.
5. Concurrent Programming Concepts