Baber, Robert Laurence. <br/><br/>
Error-free software :  know-how and know-why of program correctness / 
Robert Laurence Baber ; translated from the German original by the author. 
 - Chichester:  Wiley,  c1991. 
 - xii, 156 p. ;  24 cm. 
 - Wiley series in software engineering practice. Wiley professional computing. .
<br/><br/> Translation of: Fehlerfreie Programmierung f�ur den Software-Zauberlehrling.  Includes index. 
<br/><br/>Includes bibliographical references : p. 149-150. 
<br/><br/><label>ISBN: </label>0471930164 (cased) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability.<br/>Computer software--Development.