Klarlund, N. “A Homomorphism Concept for Omega-Regularity”. BRICS Report Series, vol. 1, no. 11, May 1994, doi:10.7146/brics.v1i11.21659.