Subrecursion: functions and hierarchies, Oxford Logic Guide 9 (1984)

by H E Rose