TY  - BOOK
AU  - Reynolds, John C
TI  - Theories of programming languages
SN  - 0521594146
CY  - Cambridge
ER  -