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 abril 25, 2024. https://revistas.unab.edu.co/index.php/rcc/article/view/1088.