1. ‘The method of structured programming applied to the development of a compiler’, in International Computing Symposium 73 (ed. et al.,), North Holland Publishing Co., Amsterdam, 1974, pp. 93–99.
2. On code generation in a PASCAL compiler
3. ‘The Zurich implementation’, Third Annual Computer Studies Symp.: Pascal—the Language and Its Implementation, Southampton (1977).
4. The Mythical Man-month, Addison-Wesley, Reading, Mass., 1975.
5. The System Language for Project SUE