C. A. do N. Vieira, E. B. Batista, e L. da S. Tavares, “Explorando conceitos de geometria não-euclidiana com softwares de geometria dinâmica”, C. Q. D., vol. 18, jul. 2020.