H. R. Andersen, C. Stirling, og G. Winskel, “A Compositional Proof System for the Modal mu-Calculus”, BRICS, bd. 5, nr. 40, jun. 1998.