Appel, A. W. Et.allà <br/><br/>
Program logics for certified compilers 

 - New York  Cambridge University Press  2014 
 - ix, 458p. 
<br/><br/><label>ISBN: </label>978-1-107-04801-0