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