Full Axiomatic Development of High School Geometry - Clark, David M.; Pathania, Samrat (Cham Springer International Publishing AG, 2023)