1. Lecture Notes in Computer Science;N Aubrun,2009
2. Comon, H., et al.: Tree automata techniques and applications (2007).
http://www.grappa.univ-lille3.fr/tata
. Accessed 12 Oct 2007
3. Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Formal Models and Semantics, Handbook of Theoretical Computer Science, pp. 133–191. Elsevier, Amsterdam (1990)
4. Boyle, M., Lind, D.A., Rudolph, D.J.: The automorphism group of a shift of finite type. Trans. Am. Math. Soc. 306(1), 71–114 (1988)
5. Lecture Notes in Computer Science;J Kari,2008