Recursion on the countable functionals Dag Normann. - Normann, Dag, 1947- (Lecture notes in mathematics (Springer-Verlag) ;, 1980)