N. Klarlund, “A Homomorphism Concept for omega-Regularity”, BRICS, vol. 1, no. 11, May 1994.