Baber, Robert Laurence <br/><br/>
Error-free software :  know-how and know-why of program correctnes / 
Robert Laurence Baber 
 - Chichester :  John Wiley & Sons,  1991 
 - 156 p. ;  24 cm. 
<br/><br/><label>ISBN: </label>0471930164 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability<br/>Computer software--Development