Back, R. J. R. <br/><br/>
Correctness preserving program refinements:  proof theory and applications/ 
R. J. R. Back. 
 - Amsterdam ;  Mathematisch centrum,  1980. 
 - 118 p. ;  24 cm. 
 - Mathematical Centre tracts;  131. .
<br/><br/> Includes indexes. 
<br/><br/>Revision of thesis (doctoral)--University of Helsinki, 1978. 
<br/><br/>Bibliography: p. 109-112. 
<br/><br/><label>ISBN: </label>9061962072 (pbk.) 
<br/><br/><label>LCCN: </label>81131608 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers---Programming.
<br/><br/><label>Dewey Class. No.: </label>511.3  / B126c