M Rabin

M Rabin is the author of books such as Automata On Infinite Objects and Church's Problem.