Martin, John C. Introduction to languages and the theory of computation / John C. Martin. - 4th ed. - New York : McGraw-Hill, 2011. - xii, 436 p. ISBN: 0071289429 : Subjects--Topical Terms: Sequential machine theory.Computable functions.