1. Bedon, N., Bès, A., Carton, O., Rispal, C.: Logic and rational languages of words indexed by linear orderings. Theory Comput. Syst. 46, 737–760 (2010)
2. Bès, A., Carton, O.: A Kleene theorem for languages of words indexed by linear orderings. Int. J. Found. Comput. Sci. 17(03), 519–541 (2006)
3. Bruyère, V., Carton, O.: Automata on linear orderings. J. Comput. Syst. Sci. 73(1), 1–24 (2007)
4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Methodology and Philosophy of Science, 1960 (1962)
5. Büchi, J.R.: Transfinite automata recursions and weak second order theory of ordinals. In: Proceedings of the International Congress on Logic, Methodology, and Philosophy of Science, 1965 (1965)