TY  - BOOK
AU  - Rustin,Randall
TI  - Formal semantics of programming languages
AV  - QA76.7 R8
PY  - 1972///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programming languages (Electronic computers)
KW  - Congresses
ER  -