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 4, 2026. https://revistas.unab.edu.co/rcc/article/view/1088.