Andersen, H. R.; Stirling, C.; Winskel, G. A Compositional Proof System for the Modal Mu-Calculus. BRICS 1998, 5.