1. A portable language for system development
2. The Debugging of Computer Programs, Thesis, Princeton University, 1969.
3. Design of an interactive debugger for FORTRAN: MANTIS
4. ‘Hierarchical abstract machines’, Proc. Culham Laboratory Symp. Software Engng, CLM–SE (1971).