A full axiomatic development of high school geometry - Clark, David M. 1947-; Pathania, Samrat (Springer, 2023)