A. Ingólfsdóttir, “A Semantic Theory for Value-Passing Processes Based on the Late Approach”, BRICS, bd. 10, nr. 15, mar. 2003.