1. ‘The method of structured programming applied to the development of a compiler’, in International Computing Symposium 1973 (Eds and ), North Holland, 1974, pp. 93–99.
2. On code generation in a PASCAL compiler
3. Depth of recursion and the ackermann function
4. A simple variant of the boundary-tag algorithm for the allocation of coroutine environments