"Backhouse, Roland C" <br/><br/>
Program Construction and Verification 

 - \\198600ENGGPS000 
 - Prentice Hall   1986  Englewood Cliffs  
 - xi+281p 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>137291531