Christof Löding, Wolfgang Thomas: Automata on finite trees. Handbook of Automata Theory (I.) 2021: 235-264