Automata, logics, and infinite games a guide to current research (Springer, 2002)
Includes index