William M. Pottenger: Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs. University of Illinois Urbana-Champaign, USA 1997