1. An Assessment of Techniques for Proving Program Correctness
2. ‘The debugging system AIDS’, AFIPS 1970 SJCC, 36, 59–64, AFIPS Press, Montvale, N.J.
3. ‘Introduction to the Interactive Semantic Modelling System’, University of Colorado, Department of Computer Science, No. CU-CS-038-74.
4. and , ‘The impact of language design on the production of reliable software’, Proceedings of 1975 International Conference on Reliable Software, IEEE Cat. No. 75CHO 940-7CSR, pp. 10–23, New York.
5. ‘Top-down programming in large systems’, in Debugging Techniques in Large Systems (Ed. ), Prentice-Hall Inc., Englewood Cliffs, N.J., 1971, pp. 41–45.