TY  - BOOK
AU  - Reynolds, John C
TI  - Theories of programming languages
SN  - 9780521594141
SN  - 98020462
U1  - 005.13 REY 
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
N1  - Includes bibliographical references (p. 467-482) and index
ER  -