1. A. Arnold. A syntactic congruence for rational Ω-languages. Theoretical Computer Science, 39:333–335, 1985.
2. J.R. Büchi. On a decision method in restricted second order arithmetic. In E. Nagel et al., editor, Proc. Internat. Congr. on Logic, Methodology and Philosophy of Science, pages 1–11. Stanford Univ. Press, Stanford, CA, 1960.
3. V. Diekert and W. Ebinger, editors. Infinite Traces. Proceedings of a workshop of the ESPRIT Basic Research Action No 3166: Algebraic and Syntactic Methods in Computer Science (ASMICS), Tübingen, Germany, 1992, number 4/92. Universität Stuttgart, Fakultät Informatik, 1992.
4. LNCS 480;V. Diekert,1991
5. LNCS 665;V. Diekert,1993