1. ‘Uniform interfaces for distributed systems’, Ph. D. Thesis, TR-63, Dept. of Computer Science, University of Rochester, May 1980.
2. TENEX, a paged time sharing system for the PDP - 10
3. An overview of the ISPL computer systems design
4. and , ‘Task communication in Demos’, Proceedings of the Sixth ACM Symposium on Operating Systems Principles, November 1977, pp. 23–31.
5. ‘An inter-process communication facility for UNIX’, CMU-CS-80-124, Dept. of Computer Science, Carnegie-Mellon University, June 1980.