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