TY  - BOOK
AU  - Wichman, Brian A
AU  - Ciechanopwicz, Z J
TI  - Pascal compiler validation
PY  - 1983///
CY  - Chichester
PB  - John Wiley
KW  - Programming languages
KW  - PASCAL
ER  -