Subrecursion : functions and hierarchies / - Rose, H. E. (Clarendon Press ;, 1984)