E. P. Trevisan, “Contribuições da lógica do desenvolvimento matemático de Irme Lakatos ao trabalho com provas e demonstrações no ensino de matemática”, ECS, vol. 3, nº 1, jun. 2013.