TY  - BOOK
AU  - Mitchell, John C.
TI  - Foundations for programming languages
SN  - 0262133210
PY  - 1996///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programming languages (Electronic computers)
N1  - Includes bibliographical references (p. [817]-836) and index
ER  -