Books by Cliff B. Jones
Theories of Programming
Theories of Programming
Reflections on the Work of C.A.R. Hoare
Dependable and Historic Computing
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
Methods, Models and Tools for Fault Tolerance
Rigorous Development of Complex Fault-Tolerant Systems
Communicating Sequential Processes. the First 25 Years
Systematic Software Developmen
Systematic Software Development Using V. D. M.