F. van Breugel, “From Branching to Linear Metric Domains (and back)”, BRICS, bd. 2, nr. 30, jan. 1995.