S. L. Bloom and Z. Ésik, “Axiomatizing Omega and Omega-op Powers of Words”, BRICS, vol. 9, no. 41, Oct. 2002.