Parra-Londoño, C.; Mejía-Guzmán, D. Recursión, inducción Y órdenes Bien Fundados. Rev. Integr. temas mat. 2011, 29, 143-150.