Christof Löding: Automata on infinite trees. Handbook of Automata Theory (I.) 2021: 265-302