1. ‘The method of structured programming applied to the development of a compiler’, in International Computing Symposiun 1973, Eed. et al., North Holland Publishing Co., Amsterdam, 1974, pp. 93–99.
2. Die Entwicklung eines PASCAL-Compilers nach der Methode des Strukturierten Programmierens, Juris-Verlag, Zürich, 1975.
3. An axiomatic definition of the programming language PASCAL
4. and , ‘PASCAL—user manual and report’, in Lecture Notes in Computer Science, No. 18, Springer-Verlag, Berlin-Heidelberg-New York, 1974.
5. et al., ‘The PASCAL P-code compiler: implementation notes’, ETH Zürich, Berichte des Instituts für Informatik, No. 10 (1975).