Junqueira, M. (1993) «Conjecturas e provas informais em geometria com recurso a ferramentas computacionais», Quadrante, 2(1), pp. 63–78. doi: 10.48489/quadrante.22630.