TY  - BOOK
ED  - Courant Computer Science Symposium (2 : 1970)
ED  - Rustin, Randall
TI  - Formal semantics of Programming languages
SN  - 0133290603
PY  - 1972///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Congresses
N1  - Includes bibliographical references
ER  -