Demailly, J.-P. “A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY”. Didácticas Específicas, no. 7, May 2017, pp. 69-118, doi:10.15366/didacticas2012.7.005.