J. Duparc, La forme normale des Boréliens de rangs finis Thèse de Doctorat, 1995.

J. Duparc, The normal form of Borel sets of finite rank Accepted by, 1994.

J. Duparc, Wadge hierarchy and Veblen hierarchy: part I Borel sets of finite rank To appear in The Journal of Symbolic Logic, 1996.

J. Duparc, A normal form for Borel sets of any rank, 1997.

J. Duparc, Hierarchy of push down automata, 1998.

J. Duparc, Wadge degrees of Louveau's (Wadge) classes, 1995.

O. Finkel, Locally finite languages, Theoretical Computer Science, vol.255, issue.1-2, 1999.
DOI : 10.1016/S0304-3975(99)00286-8
URL : https://hal.archives-ouvertes.fr/hal-00102491

O. Finkel, Closure properties of locally finite ??-languages, Theoretical Computer Science, vol.322, issue.1, 1994.
DOI : 10.1016/j.tcs.2004.03.025
URL : https://hal.archives-ouvertes.fr/hal-00104203

V. Girard, J. Vauzeilles, and J. , Functors and ordinal notations. I: A functorial construction of the veblen hierarchy, The Journal of Symbolic Logic, vol.49, issue.03, pp.713-729, 1984.
DOI : 10.1090/S0002-9947-1908-1500814-9
URL : https://hal.archives-ouvertes.fr/hal-00003496

[. Louveau, A. St, and J. Raymond, The strength of Borel Wadge determinacy, Lecture Notes in Mathematics, pp.1-30, 1333.

[. Louveau, A. St, and J. Raymond, Les propriétés de réduction et de norme pour les classes de Boréliens, Fund. Maths, vol.131, pp.223-243, 1988.

D. A. Martin, A purely inductive proof of Borel determinacy, Proc. Symp. Pure Math. 42, pp.303-308, 1985.
DOI : 10.1090/pspum/042/791065

J. Ressayre, Abstract, The Journal of Symbolic Logic, vol.53, issue.04, pp.1009-1026, 1988.
DOI : 10.1017/S0022481200027894

W. Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, ch, 1990.
DOI : 10.1016/B978-0-444-88074-1.50009-3

O. Veblen, Continuous increasing functions of finite and transfinite ordinals, Transactions of the American Mathematical Society, vol.9, issue.3, pp.280-292, 1908.
DOI : 10.1090/S0002-9947-1908-1500814-9

W. W. Wadge, Degrees of complexity of subsets of the Baire space, Notice A.M.S, p.714, 1972.

W. Klaus and W. , On ?-regular sets, Inform. and Control, vol.43, issue.2, pp.123-177, 1979.

I. Waluliewicz, Pushdown processes: games and model checking, CAV'96, to appear in Information and Computation, 1996.