ÉSIK, Z. The Equational Theory of Fixed Points with Applications to Generalized Language Theory. BRICS Report Series, v. 8, n. 22, 4 Jun. 2001.