Kamareddine, F., Monin, F., & Ayala Rincón, M. (2003). On automating the extraction of programs from termination proofs. Revista Colombiana De Computación, 4(2), 1–20. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1088