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