Dijkstra, Edsger W. <br/><br/>
Predicate calculus and program semantics / 
by Edsger W. Dijkstra, Carel S. Scholten. 
 - New York, N.Y. :  Springer-Verlag,  1990. 
 - x, 220 p. 
 - Texts and Monographs in Computer Science. .
<br/><br/><label>ISBN: </label>0387969578 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic omputers)--Semantics.