"On Syntactic Congruences for Omega-Languages."

Oded Maler, Ludwig Staiger (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics