Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs - Pottenger, William M. (1997)