André Arnold Deterministic and non ambiguous rational omega-languages. 18-27 1984 conf/litp/1984 Automata on Infinite Words db/conf/litp/litp1984.html#Arnold84 http://dx.doi.org/10.1007/3-540-15641-0_20