Motion Geometry and Vectors, published by Frederick Warne & Co. Ltd, London, 1969
Matrices, published by Frederick Warne & Co. Ltd, London, 1971
"Teaching formal specification methods in an industrial environment", in Software Engineering 86, published by Peter Peregrinus for the IEE, 1986
"Education in formal methods for software engineering", in Information and Software Technology Vol. 29, No 1, Jan/Feb 1987
"An overview of the Z development method", (with J M Spivey) for ESEC 87, published by AFCET, 1987
"Formal methods in the development of CICS", in BCS Computer Bulletin, Vol. 3 Part 4, December 1987
"Specifying and refining programs with Z", (tutorial) in Software Engineering 88, published by the IEE, 1988
"Practical experience with formal methods: a programming interface for communications", in ESEC '89, published by Springer-Verlag (LNCS 387), 1989
"Program construction from a formal specification", in The Theory and Practice of Refinement, ed J McDermid, Butterworths, 1989
A Z specification of part of the CICS file control API, (with I Houston), IBM Hursley Technical Report TR12.272, 1989
CICS API: Transient data and storage control, (with P Mundy), IBM Hursley Technical Report TR12.299, 1990
CICS API: Terminal Control (3270, LU2), IBM Hursley Technical Report TR12.305, 1991
"The CICS application programming interface definition", in Z User Workshop, Oxford 1990, ed J. Nicholls, published by Springer-Verlag, 1991
Software Development with Z published by Addison-Wesley, ISBN 0-201-62757-4, 1992, reprinted 1993, 1994, and 1995
"Formal methods and product documentation", in Formal Methods of Systems Engineering, ed P. Ryan and C. Sennett, published by Springer-Verlag, 1993
Software Engineering with B published by Addison Wesley Longman, ISBN 0-201-40356-0, 1996
"An industrial perspective on educational issues relating to formal methods", in Teaching and Learning Formal Methods, ed. C. N. Dean and M G Hinchey, published by Academic Press, ISBN 0-12-349040-5, 1996
"Using a formal model to evaluate an interface for usability", in Project Control for Software Quality: Proceedings of ESCOM-SCOPE 99, April 27-29, 1999 at Herstmonceux, England, ed. R. J. Kusters, A. Cowderoy, F.J.Heemstra, and E. P. W. M. van Veenendaal, published by Shaker Publishing BV, Maastricht, ISBN 90-423-0075-2, 1999
"Getting the best from formal methods", in Information and Software Technology Vol. 41 , No 14, November 1999
Last updated on 9 June 2007.