An introduction to the uses of computers - Laver, F. J. M. (Cambridge University Press, 1976)