1. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986
2. Temporal and modal logic;Emerson,1990
3. Parenthesis grammars;McNaughton;J. ACM,1967
4. Characterizing derivation trees of context-free grammars through a generalization of finite automata theory;Thatcher;J. Comput. Syst. Sci.,1967
5. H. Comon, M. Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi, Tree automata techniques and applications, Available on: http://www.grappa.univ-lille3.fr/tata, release October, 12th 2007.