Infinite words : automata, semigroups, logic and games - Perrin, Dominique.; Pin, Jean Eric. (Elsevier, 2004)