Kamareddine, Fairouz, François Monin, y Mauricio Ayala Rincón. 2003. «On Automating the Extraction of Programs from Termination Proofs». Revista Colombiana De Computación 4 (2):1-20. https://revistas.unab.edu.co/index.php/rcc/article/view/1088.