J. G. Hoyos-Gutiérrez y F. A. Prieto-Ortiz, «Programación por demostración de la secuencia de apretar una tuerca admitiendo variaciones en posición de la llave», TecnoL., vol. 19, n.º 36, pp. 77–90, ene. 2016.