Introduction to system programming : proceedings of a Symposium held at the London School of Economics, July, 1962