1. A Concurrent Pascal Compiler for Minicomputers. Springer-Verlag, Heidelberg, 1977. (Lecture Notes in Computer Science, 50).
2. The design of a pascal compiler
3. A Machine Independent Pascal Compiler, MS Thesis, University of Colorado, 1973.
4. Program development by stepwise refinement
5. ‘Notes on structured programming’, in and (Eds), Structured Programming, Academic Press, New York, 1972.