1. (ed.), ‘Problems with the Report on Modula-2’, Version 8, IST/5/13 Working Group paper N103, British Standards Institution, 1986.
2. Programming in Modula-2, Springer Verlag, New York; 1st edn 1982; 2nd edn 1983; 3rd edn 1985.
3. and , Introduction to Modula-2, Prentice Hall, London, 1987.
4. ‘From Modula to Oberon’ and ‘The Programming Language Oberon’, Technical Report 82, Institut für Informatik, ETH Zürich, 1987; to be published in Software—Practice and Experience, 1988.