1. Some recursively unsolvable problems in analysis;Adler;Proc. Amer. Math. Soc.,1969
2. The Collected Works of J. Richard Büchi,1990
3. Darstellung von Prädikaten durch analytische Funktionen;Buser,1972
4. Undecidable propositions by ODE's;Buser;Ann. Acad. Sci. Fenn. Math.,2007
5. Hypercomputation;Copeland;Minds Mach.,2002