Algorithm Design a recursion transformation framework - Paull, Marvin C. (Wiley, 1988)