Subrecursion Functions and hierarchies. - Rose H E (Oxford Clarendon Press, 1984)