Automata, Logics, and Infinite Games door E. Gradel & T. Wilke