Dijkstra, Edsger Wybe. <br/><br/>
Predicate calculus and program semantics / 
Edsger W. Dijkstra, Carel S. Scholten. 
 - New York :  Springer-Verlag,  1990. 
 - 220 p. ;  24 cm. 
 - Texts and monographs in computer science .
<br/><br/><label>ISBN: </label>0387969578 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Predicate calculus.<br/>Programming languages (Electronic computers)--Semantics.