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