Hoyos-Gutiérrez, J.G. y Prieto-Ortiz, F.A. 2016. Programación por demostración de la secuencia de apretar una tuerca admitiendo variaciones en posición de la llave. TecnoLógicas. 19, 36 (ene. 2016), 77–90. DOI:https://doi.org/10.22430/22565337.589.