Simon Ambler Marta Z. Kwiatkowska Nicholas Measor On Duality for the Modal µ-Calculus. 18-32 1993 conf/csl/1993 CSL db/conf/csl/csl93.html#AmblerKM93 http://dx.doi.org/10.1007/BFb0049321