TY  - BOOK
AU  - POLAK,WOLFGANG
TI  - COMPILER SPECIFICATION AND VERIFICATION
SN  - NCST
U1  - 612 
PY  - 1981///
CY  - BERLIN
PB  - SV
ER  -