Introduction to the theory of computation. - Engeler, Erwin (New York, Academic Press, 1973)
Includes bibliographies.
Keywords: Sequential machine theory; Recursive functions; Formal languages