L. Klukovits, “The first clear distinction between the heuristic conjecture and the deductive proof in the ancient mathematics”, Teach. Math. Comp. Sci., vol. 2, no. 2, pp. 397–406, Dec. 2004, doi: 10.5485/TMCS.2004.0067.