Subrecursion: Functions and Hierarchies, Oxford Logic Guides (1984)

by H E Rose