Recursion on the countable functionals. - Normann Dag (New York Springer Verlag, 1980)