Fryda, Jan. “Some Natural Axiom System of the Plane Euclidean Geometry”. Annales Mathematicae Silesianae 5 (September 30, 1991): 94–98. Accessed May 7, 2025. https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/14287.