Z. Ésik, “The Equational Theory of Fixed Points with Applications to Generalized Language Theory”, BRICS, vol. 8, no. 22, Jun. 2001.