Introduction to languages and the theory of computation - Martin, John C. (New York, NY : McGraw-Hill, 2011)
Includes bibliographical references (pages 425-426) and index.
Keywords: Sequential machine theory; Computable functions