Breugel, F. van. (1995). From Branching to Linear Metric Domains (and back). BRICS Report Series, 2(30). https://doi.org/10.7146/brics.v2i30.19933