Kamareddine, Fairouz, François Monin, y Mauricio Ayala Rincón. «On Automating the Extraction of Programs from Termination Proofs». Revista Colombiana de Computación 4, no. 2 (diciembre 1, 2003): 1–20. Accedido agosto 23, 2025. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1088.