Ingólfsdóttir, A. “A Semantic Theory for Value-Passing Processes Based on the Late Approach”. BRICS Report Series, vol. 10, no. 15, Mar. 2003, doi:10.7146/brics.v10i15.21785.