Hehner, Eric C. R., <br/><br/>
A practical theory of programming / 
Eric C. R. Hehner. 
 - New York :  Springer-Verlag,  1993. 
 - 243 pages ;  25 cm. 
 - Texts and monographs in computer science .
<br/><br/>Includes bibliographical references (p. 215-218) and index 
<br/><br/><label>ISBN: </label>0387941061  RM127.84 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming (Electronic computers)