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