TY  - GEN
AU  - Rustin, Randall
TI  - FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
U1  - 001.642 
PY  - 1972///
CY  - Englewood Cliffs, N. J.
PB  - Prentice-Hall
KW  - Programming Languages (Electronic Computers) -- Congresses
KW  - Semantics
ER  -