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), pp. 77–90. doi: 10.22430/22565337.589.