TY - BOOK AU - Reynolds, John C TI - Theories of programming languages SN - 0521594146 U1 - 005.13 PY - 1998/// CY - Cambridge PB - Cambridge Univ. Press KW - Programming Languages (Electronic Computers) ER -