Introduction to languages and the theory of computation - Markin, J.C. (new york mcgrw-hill, 2003)
Keywords: sequential machine theory; computable functions