TY  - GEN
AU  - Reynolds, John C
AU  - Reynolds, John C
TI  - Theories of programming languages
SN  - 9 780521 594141
U1  - 004.43  
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University press
KW  - Programming languages (Electronic computers)
ER  -