Ésik, Z. The Equational Theory of Fixed Points With Applications to Generalized Language Theory. BRICS 2001, 8.