Automata, logics, and infinite games - Gra@del, Erich 1958-; Thomas, Wolfgang 1947-; Wilke, Thomas 1965- (Springer, 2002)