Subrecursion functions and hierarchies - Rose, Harvey E. (Clarendon Press, 1984)