Andersen HR, Stirling C, Winskel G. A Compositional Proof System for the Modal mu-Calculus. BRICS [Internet]. 31. oktober 1994 [henvist 6. december 2025];1(34). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21609