Martin, John C. Introduction to languages and the theory of computation - 4th ed. - Singapore McGraw-Hill 2011 - 436 p ISBN: 9780071289429 Subjects--Topical Terms: Sequential machine theory. Computable functions. LC Class. No.: QA 267.5.S4 .M37/