An introduction to the uses of computers - Laver, Murray (rz1, 1978)