Nobre, S.; Amado, N.; Ponte, J. P. da. A resolução De Problemas Com a Folha De cálculo Na Aprendizagem De métodos Formais algébricos. Quadrante 2015, 24, 85-110.