Recursion on the Countable Functionals by D. Normann