Theory of computation - Brainerd, Walter S. (John Wiley & Sons, Inc, 1974)