FrydaJ. “Some Natural Axiom System of the Plane Euclidean Geometry”. Annales Mathematicae Silesianae, Vol. 5, Sept. 1991, pp. 94-98, https://journals.us.edu.pl/index.php/AMSIL/article/view/14287.