L. Conejo Garrote, M. Arce Sánchez, and T. Ortega del Rincón, “An analysis of derivability theorems’ justifications in textbooks from the 70’s Spanish Education Law”, AIEM, no. 8, pp. 51–71, Nov. 2015, doi: 10.35763/aiem.v1i8.117.