Z. Kovács, “Blind versus wise use of CAS”, Teach. Math. Comp. Sci., vol. 5, no. 2, pp. 407–417, Dec. 2007, doi: 10.5485/TMCS.2007.0190.