The metric space of geodesic laminations on a surface. I. Zhu, Xiaodong; Bonahon, Francis — 2004 Geometry & Topology