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.