Olm,Markus Muller <br/><br/>
Modular compiler verification / 
Olm,Markus Muller. 
 - A refinement algebra 
 - Berlin:  Springer,  1997. 
 - xii,250p;26cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540634061 
<br/><br/><label>Dewey Class. No.: </label>005.453 MUL