TY - BOOK AU - Reynolds,John C TI - Theories of Programming Languages SN - 0521594146 : U1 - 005.13 19 PY - 1998/// CY - Cambridge PB - Cambridge University Press KW - Computers KW - Spines KW - Programming languagess N1 - cse N2 - Computer Science ER -