An introduction to the general theory of algorithms - Machtey, Michael; Young, Paul (New York North-Holland, 1978)
References : P. 252-254
Keywords: Programming Language (Electronic Computer); Algorithms; Recursive Functions