A. Ingólfsdóttir, “A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization”, BRICS, bd. 2, nr. 3, jan. 1995.