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