An introduction to the uses of computere - Laver, Murray (Cambridge computers science texts, 1976)