Kamareddine, F., Monin, F. y Ayala Rincón, M. (2003) «On automating the extraction of programs from termination proofs», Revista Colombiana de Computación, 4(2), pp. 1–20. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1088 (Accedido: 30 abril 2024).