Kamareddine, F., F. Monin, y M. Ayala Rincón. «On Automating the Extraction of Programs from Termination Proofs». Revista Colombiana De Computación, vol. 4, n.º 2, diciembre de 2003, pp. 1-20, https://revistas.unab.edu.co/index.php/rcc/article/view/1088.