Predicate calculus and program semantics - Dijkstra, Edsger Wybe.; Scholten, Carel S. (New York : Springer-Verlag, 1990)
Keywords: Predicate calculus; Programming languages (Electronic computers) -- Semantics