TY  - BOOK
AU  - ANDREW W.Appel
TI  - Program Logics For certified Compilers
SN  - 9781107048010
U1  - 005.14 AND 
PY  - 2014///
PB  - Cambridge University Press
ER  -