Descriptive Set Theoretic Methods in Automata Theory - Skrzypczak, Michal (Springer Berlin Heidelberg, 2016)