TY  - BOOK
AU  - Courant computer sciense symposium (2
AU  - Rustin, Randall., ed.
TI  - Formal semantics of programming languages: Courant computer science symposium 2, Sept. 14-16, 1970
T2  - Prentice-Hall Series in Automatic Computation
SN  - 0133290603
U1  - 001.642 
PY  - 1972///
CY  - New Jersey
PB  - Prentice-Hall
ER  -