M. Junqueira, «Conjecturas e provas informais em geometria com recurso a ferramentas computacionais», Quadrante, vol. 2, n. 1, pp. 63–78, Jun. 1993.