TY  - BOOK
AU  - Polak Wolfgang
TI  - Compiler specification and verification
SN  - 3-540-10886-6
U1  - 005.453 
PY  - 1981///
CY  - Berlin
PB  - Springer Verlag
KW  - Compiler theory
ER  -