Courant Computer Science Symposium, 2d, New York 1970