Klarlund, N. A Homomorphism Concept for Omega-Regularity. BRICS 1994, 1.