1. J. R. Büchi, “On a Decision Method in Restricted Second Order Arithmetic,” in: Proceedings 1960 Intational Congress for Logic, Methodology and Philosophy of Science (Stanford, 1962), pp. 1–11.
2. D. Perrin and J.-E. Pin, Infinite Words (Elsevier, Amsterdam, 2004).
3. W. Thomas, “Automata on Infinite Objects,” in: Handbook of Theoretical Computer Science (Elsevier, Amsterdam, 1990), Vol. B, pp. 135–191.
4. W. Thomas, “Languages, Automata and Logic,” in: Handbook of Formal Languages (Springer, Berlin, 1997), Vol. 3. pp. 389–485.
5. A. Arnold, Finite Transition Systems: Semantics of Communicating Systems (Prentice Hall, Hertfordshire, 1994).