Bakker, J. W. de  1939- <br/><br/>
A mathematical theory of program correctness / 
J. W. de Bakker. 
 - Englewood Cliffs, N. J.  :  Prentice-Hall International,  1980. 
 - 505 p.  ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography : p. 446-490. 
<br/><br/><label>ISBN: </label>0135621321  29.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Correctness.<br/>Logic, Symbolic and mathematical.