Z. Kovács and L. Kozma, “Assimilation of mathematical knowledge using Maple”, Teach. Math. Comp. Sci., vol. 1, no. 2, pp. 321–331, Dec. 2003, doi: 10.5485/TMCS.2003.0028.