Predicate calculus and program semantics by Edsger Wybe Dijkstra | Menrva Books | MenrvaBooks