P. Błaszczyk and . A. Petiurenko, “Euclid’s theory of proportion revised”, AUPC, vol. 11, pp. 37–62, Dec. 2019.