A Theory and Practice of Program Development,
Springer-Verlag (1997)
Semantics of Specification Languages (Sosl
: Proceedings of the International Workshop on Semantics
of Specification Languages, Utrecht, the Netherlands),
with J. F. Groote, C. A. Middleburg (ed.), Springer-Verlag
(1994)
Practical Formal Methods with VDM, with
Darrel Ince, McGraw-Hill (1991)
Formal Methods in Standards: A Report
from the BCS Working Group, with D. Blyth, C. Boldreff,
D. Duce, P. Hall, R. Neely, C. Ruggles (ed), N. Tetteh-Lartey,
R. Thomas and A. Wrightson et al, Springer-Verlag (1990)
The Software Life Cycle, with Darrel Ince
(eds), Butterworth Verlag (1991)
Operation Decomposition, with Peter Gibbins,
part of An Introduction to Formal Methods of Software
Development, The Open University Press (1988)
Data Refinement, part of An Introduction
to Formal Methods of Software Development, The Open
University Press (1988)
Representing Data, part of An Introduction
to Formal Methods of Software Development, The Open
University Press (1988)
What is Formal Specifications, part of
An Introduction to Formal Methods of Software Development,
The Open University Press (1988)
Computers for Non-Scientific Applications,
with M. Greehalgh, Leicester University Press (1987)
