«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, doi: 10.30681/ecs.v3i1.1134.