Dexter Kozen: Results on the Propositional mu-Calculus. Theor. Comput. Sci. 27: 333-354 (1983)