D. Kozen, “Results on the Propositional µ-Calculus”, DPB, vol. 11, no. 146, May 1982.