Formal semantics of programming languages Courant Computer Science Symposium 2, September 14 - 16, 1970 (Prentice-Hall, 1972)