Ésik, Z. “The Equational Theory of Fixed Points With Applications to Generalized Language Theory”. BRICS Report Series, vol. 8, no. 22, June 2001, doi:10.7146/brics.v8i22.21683.