Subrecursion functions and hierarchies
Rose, H. E.(Harvey Ernest),1936-
Oxford Clarendon
1984
Bibliography: p183-186. - Includes index
Recursive functions.