Recursion on the Countable Functionals door D. Normann