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

Papers/Articles

• 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