Automata on infinite objects and church's problem - Rabin Michael (Providence A M S, 1972)
Keywords: Automata theory; Church' problem; Infinite object