1. and , Principles of Compiler Design, Addison-Wesley, Reading, Massachusetts, 1977.
2. ‘A semantic representation for translation of high-level algorithmic languages,’ PhD. thesis, Department of Computer Science, University of British Columbia (1978).
3. Design of an interactive debugger for FORTRAN: MANTIS
4. The ALCOR Illinois 7090/7094 post mortem dump
5. Compiler Construction for Digital Computers, Wiley, New York, 1971.