Predicate calculus and program semantics - Dijkstra, Edsger W. 1930-2002; Scholten, Carel S. 1925-2009 (Springer, 1990)
Keywords: Calcul des prédicats; Langages de programmation - Sémantique; Predicatenlogica; Semantiek; calcul prédicat; sémantique langage; Semantik; Predicate calculus; Programming languages (Electronic computers) -- Semantics; Programmiersprache; Prädikatenkalkül; Prädikatenumformer; Prädikatenlogik