1. Algorithms + Data Structures = Programs, Prentice-Hall Inc., Englewood Cliffs N. J., 1976.
2. A Concurrent Pascal Compiler for Minicomputers, Springer-Verlag, 1977.
3. Syntax of Programming Languages: Theory and Practice, Prentice-Hall International, London, 1979.
4. and , Structured System Programming, Prentice-Hall Inc., London, 1980.
5. ‘The Zurich implementation’, in (ed.), Pascal—The Language and its Implementation, Wiley, Chichester, 1981.