William M. Pottenger. Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs. Ph.D. Thesis, Department of Computer Science. University of Illinois at Urbana-Champaign. May 1997.
William M. Pottenger. Induction Variable Substitution and Reduction Recognition in the Polaris Parallelizing Compiler. M.S. Thesis, Department of Computer Science. University of Illinois at Urbana-Champaign. December 1995.
Questions/comments: 