Recursion schemes for dynamic programmingKabanov, Jevgeni; Vene, VarmoMathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings2006 / p. 235-252