Title: Automata on infinite objects and Church's problem,
Authors: Rabin, Michael Oser, 1931-
Publisher: Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society
Year: 1972
Subjects: Machine theory.; Combinatorial analysis.