Metric Spaces - Robert Magnus (Springer, 2022)