Introduction to the theory of computation. - Engeler, Erwin. (Academic Press, 1973)