Subrecursion: functions and hierarchies (1984)

by H E Rose