1. Blumensath, A., Grädel, E.: Automatic structures. In: Proc. of LICS 2000, pp. 51–62. IEEE Computer Society Press, Los Alamitos (2000)
2. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the AMS 138, 295–311 (1969)
3. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: International Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press (1962)
4. Lecture Notes in Computer Science;D. Caucal,2002
5. Carton, O., Michel, M.: Unambiguous büchi automata. Theor. Comput. Sci. 297(1–3), 37–81 (2003)