Predicate calculus and program semantics. Texts and monographs in computer science (1990)

by E W Dijkstra, C S Scholten