H. R. Andersen, C. Stirling, and G. Winskel, “A Compositional Proof System for the Modal mu-Calculus”, BRICS, vol. 5, no. 40, Jun. 1998.