1. and , Compilers: Principles, Techniques, and Tools, Addison Wesley, Reading, MA, 1985.
2. and , Compiler Construction, Springer-Verlag, New York, 1984.
3. An APL Compiler, Springer Verlag, 1988.
4. ‘Can logic programming execute as fast as imperative programming?’, Doctoral Dissertation, University of California, Berkeley, November 1990.
5. ‘FASBOL, A SNOBOL4 compiler’, Memorandum No. ERL-M134, Electronics Research Laboratory, University of California, Berkeley, December 1971.