Introduction to languages and the theory of computation - Martin, John C. (Singapore, 2011)
Keywords: Sequential machine theory. Computable functions