TY  - GEN
AU  - Rustin,Randall
ED  - Courant Computer Science Symposium,
TI  - Formal semantics of Programming languages
T2  - Prentice-Hall series in automatic computation
SN  - 0133290603 (hbk.)
U1  - 001.6424 
PY  - 1972///
CY  - Englewood, Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Congresses
N1  - Includes references
ER  -