M. Rodrigues, «A integração curricular da demonstração», invep, vol. 2, n. 2, pp. 53–77, Mar. 2015.