Kozen, Dexter. “Results on the Propositional µ-Calculus”. DAIMI Report Series, vol. 11, no. 146, May 1982, doi:10.7146/dpb.v11i146.7420.