1. A comparison of tree transductions defined by MSO logic and attribute grammars;Bloem;Journal of Computer and System Sciences,2000
2. A. Blumensath, Structures of Bounded Partition Width, Ph.D. Thesis, RWTH Aachen, Aachen, 2003.
3. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi, Tree Automata Techniques and Applications, available online at http://www.grappa.univ-lille3.fr/tata/.
4. B. Courcelle, The expression of graph properties and graph transformations in monadic second-order logic, in: 32, 1997, pp. 313–400.
5. Monadic second-order graph transductions: a survey;Courcelle;Theoretical Computer Science,1994