J. Fryda, “Some natural axiom system of the plane Euclidean geometry”, Ann. Math. Sil., vol. 5, pp. 94–98, Sep. 1991.