Introduction to languages and the theory of computation /
Martin, John C.
Boston, Mass. ; London : McGraw-Hill,
c2003.
Includes bibliographical references (p. 529-530) and indexes.
Sequential machine theory.
Computable functions.