Ingólfsdóttir A, Schalk A. A Fully Abstract Denotational Model for Observational Congruence. BRICS [Internet]. 10. juni 1995 [henvist 6. december 2025];2(40). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19942