1. UNIX Programmer's Manual (4.2bsd), University of California, Berkeley, 1980.
2. Describing Prolog by its interpretation and compilation
3. ‘A proposal for standard ML’, ACM Symposium on Lisp and Functional Programming, 184–197 (1984).
4. An Incremental Programming Environment
5. A systematic approach to advanced debugging