Vieira, C.A. do N., Batista, E.B. e Tavares, L. da S. 2020. Explorando conceitos de geometria não-euclidiana com softwares de geometria dinâmica. C.Q.D. - Revista Eletrônica Paulista de Matemática. 18, (jul. 2020).