Dexter Kozen Results on the Propositional mu-Calculus. 333-354 1983 27 Theor. Comput. Sci. db/journals/tcs/tcs27.html#Kozen83 https://doi.org/10.1016/0304-3975(82)90125-6 https://www.wikidata.org/entity/Q59448065