C.A.R. Hoare

• VDM '90 VDM and Z -- Formal Methods in Software Development
• Communicating Sequential Processes
• Logic of Programming and Calculi of Discrete Design
• VDM '90. VDM and Z - Formal Methods in Software Development
• Vzaimodejstvujus c ie posledovatel'nye processy