Cattani GL, Fiore MP, Winskel G. A Theory of Recursive Domains with Applications to Concurrency. BRICS [Internet]. 5. juni 1997 [henvist 5. december 2025];4(35). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18961