Ahumada Gómez, Andrés, Che, Mauricio, "Gromov–Hausdorff convergence of metric pairs and metric tuples", Differential Geometry and its Applications, 2024