Kamareddine, Fairouz, et al. «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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1088.