1. Advances in Computer Architecture, Wiley, 1978.
2. Implementing Software for Non-numeric Applications, Prentice-Hall, Englewood Cliffs, N.J., 1973.
3. Macro Processors and Techniques for Portable Software, Wiley, London, 1974.
4. , and , ‘The PASCAL (P) compiler: implementation notes’, report 10, ETH Zurich, 1974.
5. The pfort verifier