Set recursion, in Generalized Recursion Theory (1978)

by D Normann