Introduction to the theory of computation. - Engeler, Erwin. (Computer Science and Applied Mathematics., 1973)