H. R. Andersen, C. Stirling, and G. Winskel, “A Compositional Proof System for the Modal mu-Calculus”, BRICS, vol. 1, no. 34, Oct. 1994.