Infinite words, automata, semigroups, logic and games (2004)

by D Perrin, J-E Pin