Subrecursion:functions and hierarchies - Rose H E (Oxford Clarendon, 1984)
Bibliographical 183-186p