Predicate calculus and program semantics - Dijkstra, Edsger Wybe (Springer, 1990)
Περιλαμβάνει ευρετήριο.