Predicate Calculus and Program Semantics door Carel S. Scholten & Edsger W. Dijkstra