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