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