Boyer. R.S <br/><br/>
The correctness problem in computer science 

 - New York  Academic Press  1981 
 - xiii,279 p. 
 - International Lecture Series in Computer Science .
<br/><br/><label>ISBN: </label>0121229203 
<br/><br/><label>Subjects--Topical Terms: </label><br/>computer science<br/>COMPUTING
<br/><br/><label>Dewey Class. No.: </label>004  / COR