COMPUTABILITY THEORY - Jones, Neil D. (N. Y. Academic Press, 1973)
Ref. : P. 149-150
Keywords: Recursive Functions