Predicate Calculus and Program Semantics by Edsger Wybe Dijkstra | Menrva Books | MenrvaBooks