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