Artificial Intelligence: a Paper Symposium. Contributors: Sir James Lighthill, N. S. Sutherland, R.M. Needham, H.C. Longuet-Higgins, and D. Michie