Kozen, D. Results on the Propositional µ-Calculus. DPB 1982, 11.