TY  - BOOK
AU  - Reynolds, John C.
TI  - Theories of Programming Languages
SN  - 0 521 59414 6
CY  - Cambridge
KW  - Programming languages (Electronic Computers)
ER  -