Demailly, J.-P. A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY. Didácticas Específicas 2017, 69-118.