C. A. R. Hoare profile picture

C. A. R. Hoare

Occam 2 Reference Manual
Communicating Sequential Processes
Essays in Computing Science
Structured Programming
Structured Programming
Mathematical Logic and Programming Languages
VDM '90 VDM and Z -- Formal Methods in Software Development
Laws of Programming
Unifying theories of programming
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
Software and systems safety