TY  - BOOK
AU  - Schmidt, David A.
TI  - The structure of typed programming languages
SN  - 0 262 19349 3
CY  - Cambridge
KW  - Programming languages
ER  -