ANDREW W.Appel <br/><br/>
Program Logics For certified Compilers 

 -  Cambridge University Press  2014 
 - 458 
<br/><br/><label>ISBN: </label>9781107048010 
<br/><br/><label>Dewey Class. No.: </label>005.14 AND