1. A. Arnold and M. Nivat, Comportements de processus, Colloque AFCET, Les Mathématiques de l'Informatique, Paris (1982), p. 35–68.
2. R. Cohen and A. Gold, Theory of ω-languages, Jour. Comp. Syst. Sci. Vol. 15 (1977), p. 169–184.
3. S. Eilenberg, Automata, languages and machines, Vol. A, Academic Press (1974).
4. M.A. Harrison, Introduction to formal language theory, Addison Wesley (1969).
5. R. McNaughton, Testing and generating infinite sequences by a finite automaton, Inf. and Control, Vol. 9 (1966), p. 521–530.