Algorithm design : a recursion transformation framework - Paull, Marvin C. (New York : Wiley-Interscience, 1988)
Keywords: Recursion theory; Algorithms