author : Cliff B. Jones

Books

• Essays in Computing Science. 1962, with C. A. R. Hoare
• Software Development: A Rigorous Approach. 1980
• Systematic Software Development Using VDM. 1986
• Case Studies in Systematics Software Development. 1990, with Roger C. F. Shaw

Short works

• Scientific Decisions which Characterize VDM. 1999. (In FM'99 volume 1 )
• Compositionality, interference and concurrency. 2000. (In Millennial Perspectives in Computer Science )
• Wanted: a compositional approach to concurrency. 2003. (In Programming Methodology )
• Specification before Satisfaction: the case for research into obtaining the right specification. 2005. (In ZB 2005 )

Books : reviews

Cliff B. Jones, Roger C. F. Shaw.
Case Studies in Systematics Software Development.
Prentice Hall. 1990

(read but not reviewed)