F. van Breugel, “From Branching to Linear Metric Domains (and back)”, BRICS, vol. 2, no. 30, Jan. 1995.