F. Gire and M. Nivat, Relations rationnelles infinitaires. Calcolo, pp.91-125, 1984.
DOI : 10.1007/bf02575909

E. Grädel, W. Thomas, and W. Wilke, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, Lecture Notes in Computer Science, vol.2500, 2001.
DOI : 10.1007/3-540-36387-4

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, Series in Computer Science. [Jec02] T. Jech. Set theory, 2001.

K. Kunen, Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics, 1980.

H. Lescow and W. Thomas, Logical specifications of infinite computations, Decade of Concurrency, pp.583-621, 1994.

Y. N. Moschovakis, Descriptive set theory, 1980.
DOI : 10.1090/surv/155

D. Perrin and J. Pin, Infinite words, automata, semigroups, logic and games, Pure and Applied Mathematics, vol.141, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00112831

L. Staiger, ??-Languages, Handbook of formal languages, pp.339-387, 1997.
DOI : 10.1007/978-3-642-59126-6_6

W. Thomas, Automata on infinite objects Handbook of Theoretical Computer Science, volume B, Formal models and semantics, pp.135-191, 1990.