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