Aristides A. G. Requicha
Production Automation Project, College of Engineering and Applied Science, The University of Rochester, Rochester, NY
Some Techniques for Solving Recurrences
ACM Computing Surveys (CSUR)