1. and , The Theory of Parsing, Translation, Compiling, Prentice Hall, Englewood Cliffs, NJ, USA, Volumes 1 & 2, 1972–73.
2. and , Principles of Compiler Design, Addison-Wesley, Reading, MA, 1977.
3. ‘From programs to object code using logic and logic programming’, in and (eds.). Code Generation-Concepts, Tools, Techniques, Workshops in Computing, Springer, Berlin, 1992, pp. 173–192.
4. McGraw-Hill I;Bowen,1995
5. and , ‘Occam's Razor: The cutting edge of parser technology’, in Proc. TOULOUSE 92: Fifth International Conference on Software Engineering and its Applications, Toulouse, France, December 1992.