Casey, Chris. <br/><br/>
A programming approach to formal methods / 
Chris Casey. 
 - London :  McGraw-Hill,  c1994. 
 - xii, 262 p. ;  25 cm. 
 - McGraw-Hill international series in software engineering .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 257. 
<br/><br/>
<br/><br/><label>ISBN: </label>007707968X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software.<br/>Programming (Electronic computers).