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