"A Topological Property of Rational omega-Languages."

André Arnold (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics