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