Fryda, J. (1991). Some natural axiom system of the plane Euclidean geometry. Annales Mathematicae Silesianae, 5, 94–98. Retrieved from https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/14287