1. [AR (84)] ARNOLD A., Deterministic and non-anbiguous rational w-languages, L.N.C.S., 1984, n° 192, pp. 18-27.8147290612.68073
2. [BU (62)] BÜCHI J. R., On a decision method in restricted second order arithmetic, Proc. Internat. Congress on Logic, Methodology and philosophy, Stanford Univ. Press, 1962, pp. 1-11.1836360147.25103
3. [EI (74)] EILENBERG S., Automata, Languages and Machines, Vol. A., Academic Press, 1974.5303820317.94045
4. [LA (69)] LANDWEBER L. H., Decision problems for w-automata, Math. Sys. Theor., 1969, 3, pp. 376-384.2605950182.02402
5. [LS (86)] LE SAEC B., Thèse de doctorat. Étude de la reconnaissabilité des langages rationnels de mots infinis, 1986, n° 85, Université de Bordeaux.