Introduction to languages and the theory of computation - Martin, John C. (New York, N.Y. McGraw-Hill, 2011)
Prof. Adrian Angeles (recommending faculty) : CS Dept.
Keywords: Sequential machine theory; Computable functions