Introduction to languages and the theory of computation - Martin, John C. (New Delhi Tata McGrawHill Publishing Company)
Keywords: Sequential machine theory. -- Mathematical logic -- Computable functions