Ingólfsdóttir, A. A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness. BRICS 1995, 2.