TY  - GEN
AU  - Andrew W Appel
TI  - Program Logics for Certified Compilers
PY  - 2014///
PB  - CUP
ER  -