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