Courant computer sciense symposium (2 1970 New York)
Formal semantics of programming languages Courant computer science symposium 2, Sept. 14-16, 1970
ed by Randall Rustin
- New Jersey Prentice-Hall 1972
- 248p.
- Prentice-Hall Series in Automatic Computation .