Equivalencia recursiva - Dekker, Jacob C.E. 1921 - (Escuela de Matemáticas, Universidad de Costa Rica, 1976)