A course in metric geometry - Burago, Dmitrij Jurʹevič 1964-; Burago, Jurij D. 1936-; Ivanov, Sergej (Graduate studies in mathematics, 2001)