Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer

Some Properties of Predicate Transformers

Journal of the ACM (JACM)

Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM

An axiomatic basis for computer programming

Communications of the ACM

Nondeterminism in logics of programs

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness

First-Order Dynamic Logic

First-Order Dynamic Logic

Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation

A Discipline of Programming

A Discipline of Programming

Axiomatic definitions of programming languages: a theoretical assessment (preliminary report)

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Computability and completeness in logics of programs (Preliminary Report)

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Semantics of partial correctness formalisms.

Semantics of partial correctness formalisms.