Parra-Londoño, C. and Mejía-Guzmán, D. 2011. Recursion, induction and well-founded orders. Revista Integración, temas de matemáticas. 29, 2 (Nov. 2011), 143–150.