S. Morales Parra and C. Samper, “Difficulties in learning the formal deductive demonstration in euclidean geometry”, AmazInv, vol. 4, no. 6, pp. 55–68, Jun. 2015.