Predicate Calculus and Program Semantics (1990)

by E W Dijkstra, C S Scholten