Infinite words - automata, semigroups, logic and games. - Elsevier Science Publishers, 2004. - ( Pure and Applied Mathematics - Academic Press/Elsevier ; 141).