J. R. Büchi, Symposium on decision problems: On a decision method in restricted second order arithmetic, Logic, Methodology and Philosophy of Science Proceeding of the 1960 International Congress of Studies in Logic and the Foundations of Mathematics, pp.1-11, 1960.

J. Hartmanis and R. E. Stearns, Sets of numbers dened by nite automata, American Mathematical Monthly, vol.74, p.539542, 1967.

O. Kupferman and M. Y. Vardi, From complementation to certication, 10th TACAS, p.591606, 2004.

R. P. Kurshan, Computer aided verication of coodinating process, 1994.

L. H. Landweber, Decision problems for omega-automata, Mathematical Systems Theory, vol.3, issue.4, p.376384, 1969.

I. Litovsky and L. Staiger, Finite acceptance of innite words, Theor. Comput. Sci, vol.174, issue.12, p.121, 1997.

T. Moriya and H. Yamasaki, Accepting conditions for automata on ?languages, Theor. Comput. Sci, vol.61, p.137147, 1988.

D. E. Muller, Innite sequences and nite machines, Proceedings of the 1963 Proceedings of the Fourth Annual Symposium on Switching Circuit Theory and Logical Design, SWCT '63, p.316, 1963.

D. Perrin and J. Pin, Innite words, automata, semigroups, logic and games, Pure and Applied Mathematics, vol.141, 2004.

L. Staiger and K. W. Wagner, Automatentheoretische und automatenfreie charakterisierungen topologischer klassen regulärer folgenmengen, Elektronische Informationsverarbeitung und Kybernetik, vol.10, issue.7, p.379392, 1974.

W. Thomas, Automata on innite objects Handbook of Theoretical Computer Science, volume B (Formal models and semantics, p.135191, 1990.

M. Y. Vardi, The Büchi complementation saga, STACS 2007, p.1222, 2007.

K. W. Wagner, On ??-regular sets, Information and Control, vol.43, issue.2, pp.123-177, 1979.
DOI : 10.1016/S0019-9958(79)90653-3