Carninoand Lombardy. Factorizations and Universal Automaton of Omega Languages. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-38771-5_30.