Christof Löding: Basics on Tree Automata. Modern Applications of Automata Theory 2012: 79-110