Theory of computation - Brainerd, Walter S. (Wiley, 1974)