Automata on infinite objects and Church's problem - Rabin, Michael Oser 1931- (Regional conference series in mathematics ;, 1972)