Eugene V. Zima Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique. 42-46 1993 ISSAC http://doi.acm.org/10.1145/164081.164089 db/conf/issac/issac93.html#Zima93