Cliff B. Jones

• Understanding Programming Languages
• 5th Refinement Workshop
• Communicating sequential processes
• Dependable and Historic Computing
• Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
• Reflections on the Work of C.A.R. Hoare
• Rigorous Development of Complex Fault-Tolerant Systems
• Communicating Sequential Processes. the First 25 Years
• Methods, Models and Tools for Fault Tolerance
• Systematic Software Development Using V. D. M.
• Theoretical Aspects of Computing - ICTAC 2007
• Theories of Programming