Cattani GL, Power J, Winskel G. A Categorical Axiomatics for Bisimulation. BRICS [Internet]. 22. januar 1998 [henvist 6. december 2025];5(22). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19428