H. R. Andersen, C. Stirling, og G. Winskel, “A Compositional Proof System for the Modal mu-Calculus”, BRICS, bd. 1, nr. 34, okt. 1994.