Introduction to the theory of computation. - Engeler, Erwin (Computer science and applied mathematics., 1973)