Elementary computability, formal languages and automata
McNaughton, Robert.
Englewood Cliffs London Prentice-Hall
c1982
Bibliography: p388-393. - Includes index
Computable functions.
Machine theory.