TY  - BOOK
AU  - Safonov, Vladimir O.
TI  - Trustworthy compilers
SN  - 9780470500958 
U1  - 005.453 SAF 22
PY  - 2010///
CY  - Oxford
PB  - Wiley
KW  - Compilers (Computer programs)
KW  -  Interpreters (Computer programs)
N1  -  Includes bibliographical references and index
ER  -