Automata, logics, and infinite games - Grädel, Erich 1958-; Thomas, Wolfgang 1947-; Wilke, Thomas 1965- (Lecture notes in computer science, 2002)