1. Berstel, J.: Transductions and context free languages. Teubner Studienbücher Informatik (1979).
http://www-igm.univ-mlv.fr/~berstel/
2. Studies in Logic and the Foundations of Mathematics;FR Drake,1974
3. Undergraduate Texts in Mathematics;H-D Ebbinghaus,1994
4. Finkel, O.: Undecidability of topological and arithmetical properties of infinitary rational relations. RAIRO-Theoret. Inf. Appl. 37(2), 115–126 (2003)
5. Finkel, O.: The complexity of infinite computations in models of set theory. Logical Methods Comput. Sci. 5(4:4), 1–19 (2009)