Introduction to languages and the theory of computation - Martin, John C. (London : McGraw-Hill, 1991)
Keywords: Computable functions; Sequential machine theory