1. Recursive functions of symbolic expressions and their computation by machine, Part I
2. Anatomy of LISP, McGraw-Hill, New York, 1978.
3. ‘The LISP system for the Q-32 computer’, in and , (Eds), The Programming Language LISP: Its Operation and Applications, Information International Inc., Cambridge, Mass, 220–238 and appendix 290–317, 1964.
4. ‘Correctness of Two Compilers for a LISP Subset’, Stanford AI Project Memo No. AIM-151 (1971).
5. ‘The structure of the LISP compiler’, Unpublished paper, IBM Research, Yorktown Heights, 1971.