David Callahan: Recognizing and Parallelizing Bounded Recurrences. LCPC 1991: 169-185