set Recursion, Annals of Pure and Applied Logic 71 (1995)

by L S Moss, Power