S. Nobre, N. Amado, e J. P. da Ponte, «A resolução de problemas com a folha de cálculo na aprendizagem de métodos formais algébricos», Quadrante, vol. 24, n. 2, pp. 85–110, Dez. 2015.