Summer School on Advances in Programming and Non-Numerical Computation (1963 University of Oxford)