1. Zaid, F.A., Grädel, E., Kaiser, Ł.: The field of reals is not omega-automatic. In: Dürr, C., Wilke, T. (eds.) Proceedings of the International Symposium on Theoretical Aspects of Computer Science, STACS 2012, pp. 577–588 (2012)
2. Blumensath, A.: Automatic structures. Diploma thesis, RWTH-Aachen (1999)
3. Blumensath, A., Grädel, E.: Finite presentations of infinite structures: automata and interpretations. Theory Comput. Syst. 37, 641–674 (2004)
4. Büchi, J.R.: On decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Methodology and Philosophy of Science, pp. 1–11 (1962)
5. Delhommé, C.: Automaticité des ordinaux et des graphes homogènes. C. R. Acad. Sci., Sér. 1 Math. 339, 5–10 (2004)