Kozen, D. (1982) “Results on the Propositional µ-Calculus”, DAIMI Report Series, 11(146). doi: 10.7146/dpb.v11i146.7420.