1. Blumensath, A.: Prefix-recognisable graphs and monadic second-order logic. Technical Report AIB-06-2001, RWTH Aachen (May 2001)
2. Bojańczyk, M., Colcombet, T.: Bounds in omega-regularity. In: IEEE Symposium on Logic In Computer Science, pp. 285–296. IEEE Computer Society Press, Los Alamitos (2006)
3. Brown, T.C.: An interesting combinatorial method in the theory of locally finite semigroups. Pacific Journal of Mathematics 36(2), 277–294 (1971)
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, pp. 1–11. Stanford University press, Stanford (1960)
5. Büchi, J.R., Elgot, C.C.: Decision problems of weak second order arithmetics and finite automata. Notices of the American Math. Soc. 5, 834 (1958)