Eugene V. Zima Simplification and Optimization Transformations of Chains of Recurrences. 42-50 1995 ISSAC http://doi.acm.org/10.1145/220346.220352 db/conf/issac/issac95.html#Zima95