- Programming Languages (co-authored, 1985)
- Apollo Computer Inc.: Technological Innovation and Organizational Culture (co-authored, 1985)
Scientific Articles
- A Correctness Proof for a Compiler for a Subset of ALGOL 60, CACM (June 1973)
- Fast mutual exclusion algorithms, ACM Transactions on Computer Systems (May 1984)
- Fast Process Switching (co-authored), Proceedings of the 16th Annual Symposium on Operating Systems Principles (October 1989)
- Computer System Technology Research
at DEC-SRC: Achievements
and Opportunities, DEC-SRC Research Report 97 (September 1993)