Predicate calculus and Program semantics :Lecture notes in computer science - Dijkstra, E.W (et-al) (Springer: Tokyo, 1989)
Keywords: predicate calculus