HOYOS-GUTIÉRREZ, José G.; PRIETO-ORTIZ, Flavio A. Programación por demostración de la secuencia de apretar una tuerca admitiendo variaciones en posición de la llave. TecnoLógicas, [S. l.], v. 19, n. 36, p. 77–90, 2016. DOI: 10.22430/22565337.589. Disponível em: https://revistasitmeduco.biteca.online/index.php/tecnologicas/article/view/589. Acesso em: 20 feb. 2026.