1. Lecture Notes in Computer Science;O. Maler,1997
2. Lecture Notes in Computer Science;A. Bouajjani,2005
3. Buchi, R.: Regular canonical systems. Archiv fur Matematische Logik und Grundlagenforschung 6(91-111) (1964)
4. Lecture Notes in Computer Science;D. Caucal,2000
5. Comon, H., Dauchet, M., Jacquemard, F., Loeding, C., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata on their application. Freeware Book (1999),
http://tata.gforge.inria.fr/