Ingólfsdóttir A. A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness. BRICS [Internet]. 22. januar 1995 [henvist 19. oktober 2024];2(22). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19924