TY - BOOK AU - Reynolds,John C. TI - Theories of programming languages SN - 978-0-521-10697-9 AV - QA76.7.R495 1998 PY - 1998/// CY - Cambridge PB - : Cambridge University Press KW - Programming languages (electronic computers) N1 - Includes bibliographical references and index ER -