1. Visibly pushdown languages;R. Alur,2004
2. Transductions and Context-Free Languages
3. Automatic Structures;A. Blumensath,2000
4. On rational trees;A. Carayol,2006
5. The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata;A. Carayol,2003