Automata logics and infinite games:a guide to current research - Gradel, Erich (Springer, 2002)