Andersen HR, Stirling C, Winskel G. A Compositional Proof System for the Modal mu-Calculus. BRICS [Internet]. 10. juni 1998 [henvist 6. december 2025];5(40). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19485