Hierarchies of provably recursive functions (1998)

by M Fairtlough, S S Wainer