1. The mathematical construction of a program
2. (1985) ‘Programming as a Mathematical Exercise’ in and (Eds.), Mathematical Logic and Programming Languages, Prentice-Hall International, London, U.K., pp. 113–139.
3. (1991) The B-Tool Reference Manual, Edinburgh Portable Compilers Ltd, 17 Alva St., Edinburgh EH2 4PH, U.K.
4. and (1900) Principles of Computer Organization—a first course using the 68000, McGraw-Hill, London, U.K.
5. (1991) SCP—Consolidated Statements of Requirements, ESPRIT 5383 LaCoS, Lloyd's Register, Croydon, U.K.