Automata, logics, and infinite games : a guide to current research - Gradel, Erich, 1958-; Thomas, Wolfgang, 1947-; Wilke, Thomas, 1965- (Lecture notes in computer science ; ;, 2002)