Recursion on the countable functionals - Normann, Dag (Lecture notes in mathematics, 1980)