1. An Introduction to the Study of Programming Languages, Cambridge University Press, 1977.
2. ‘How to write correct programs and know it’, Proceedings of the International Conference on Reliable Software, IEEE and Association for Computing Machinery, Los Angeles, 1975.
3. ‘Programming as a cognitive activity’, in Human Interaction with Computers (Ed. and ), Academic Press, London, 1979.
4. and , The Elements of Programming Style, McGraw-Hill, New York, 1974a.
5. Programming Style: Examples and Counterexamples