R. Martínez Vergara, “The Gromov–Hausdorff distance between compact metric spaces”, Reports@SCM, vol. 8, no. 1, pp. 59–60, Jan. 2024.