On formal and informal proofs for program correctness

An Introduction to Proving the Correctness of Programs

ACM Computing Surveys (CSUR)

A Proof System for Communicating Sequential Processes

ACM Transactions on Programming Languages and Systems (TOPLAS)

Curriculum '78: recommendations for the undergraduate program in computer science— a report of the ACM curriculum committee on computer science

Communications of the ACM

Social processes and proofs of theorems and programs

Communications of the ACM

Verifying properties of parallel programs: an axiomatic approach

Communications of the ACM

An axiomatic basis for computer programming

Communications of the ACM

Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness

Mathematical Theory of Computation

Mathematical Theory of Computation

An advanced programming language definition and domain correctness of programs

ACM SIGPLAN Notices