1. Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3), 16 (2009)
2. Lecture Notes in Computer Science;D Caucal,2006
3. Lecture Notes in Computer Science;MP Chytil,1990
4. Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications, 12 October 2007.
http://www.grappa.univ-lille3.fr/tata
5. Doyen, L., Juhl, L., Larsen, K.G., Markey, N., Shirmohammadi, M.: Synchronizing words for weighted and timed automata. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS, 15–17 December 2014, New Delhi, India, pp. 121–132 (2014)