Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique.

Alberto Pettorossi Rod M. Burstall Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique. 181-206 1982 18 Acta Inf. db/journals/acta/acta18.html#PettorossiB82