Fryda, Jan. “Some Natural Axiom System of the Plane Euclidean Geometry”. Annales Mathematicae Silesianae 5 (September 30, 1991): 94-98. Accessed May 16, 2024. https://journals.us.edu.pl/index.php/AMSIL/article/view/14287.