Nygaard M, Winskel G. Full Abstraction for HOPLA. BRICS [Internet]. 11. december 2003 [henvist 18. september 2024];10(42). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21814