Cliff B. Jones

title	ISBN-13	year of publica- tion	other author(s)
Case Studies in Systematic Software Development	978-0-13-116088-0	1990
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers	978-3-540-25813-1	2005	Ali E. Abdallah · Jeff W. Sanders
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ...	978-3-540-63533-8	1997	John Fitzgerald · Peter Lucas
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays	978-3-540-75220-2	2007	Zhiming Liu · Woodcock, Jim
Software Development: A Rigorous Approach	978-0-13-821884-3	1980
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective	978-1-84628-110-5	2006	Denis Besnard · Cristina Gacek
Systematic Software Development Using Vdm	978-0-13-880733-7	1990
Systematic Software Development Using V. D. M.	978-0-13-880717-7	1986
VDM	978-2-225-82812-6	1997