1. The mobile programming system, Janus
2. The programming language pascal
3. ‘The method of structured programming applied to the development of a compiler’, Proc. ACM Int. Comp. Sym. Davos, 1973 (Ed. and ), North-Holland, Amsterdam, 1974, p. 93.
4. A formalism for translator interactions
5. , , and , ‘A PASCAL compiler bootstrapped on a DECSystem-10’, Proc. 3rd GI-Fachtagung über Programmiersprachen, Kiel, 1974 (Ed. and ), Lecture Notes in Computer Science, 7, Springer-Verlag, Berlin, Heidelberg, New York, 1974, p. 101.