Subrecursion: Functions and Hierarchies (1984)

by H E Rose