Andersen JH, Larsen KG. Compositional Safety Logics. BRICS [Internet]. 13. januar 1997 [henvist 5. december 2025];4(13). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18804