Subrecursion functions and hierarchies - Rose H E (Oxford Clarendon Press, 1984)
Keywords: PHILOSOPHY