Recursive Functionals, Volume 131 door Luis E. Sanchis