Predicate calculus and program semantics / - Dijkstra, Edsger W. (Springer-Verlag,, 1990)