1. Lecture Notes in Computer Science;M. Bojańczyk,2009
2. Bühi, 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 Univ. Press, Stanford (1962)
3. Carton, O.: Mots infinis, ω-semigroupes et topologie. PhD thesis, University Paris VII (1993)
4. Colcombet, T.: Factorisation forests for infinite words and applications to countable scattered linear orderings. Theoretical Computer Science 411, 751–764 (2010)
5. Grillet, P.A.: Semigroups. An introduction to the structure theory. In: Pure and Applied Mathematics, vol. 193, ix, p. 398. Marcel Dekker, Inc., New York (1995)