Z. Ésik, “The Equational Theory of Fixed Points with Applications to Generalized Language Theory”, BRICS, bd. 8, nr. 22, jun. 2001.