A. Kovács, “Problem-solving in mathematics with the help of computers”, Teach. Math. Comp. Sci., vol. 1, no. 2, pp. 405–422, Dec. 2003, doi: 10.5485/TMCS.2003.0033.