An introduction to the uses of computers - Laver, F. J. M. (Cambridge computer science texts ;, 1976)