Yuantao Huang. Introduction to automaton theory on infinite trees. Rel. Riccardo Camerlo. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2018