Predicate Calculus and program semantics (1990)

by Edsger W Dijkstra, Carel S Scholten