The correctness problem in computer science / 
edited by R.S. Boyer & J. Strother Moore 
 - London :  Academic Press,  1981 
 - 279 p. :  ill. ;  24 cm. 
 - International lecture series in computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0121229203 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Correctness