Beatrice Luca Stefan Andrei Hugh Anderson Siau-Cheng Khoo Program transformation by solving recurrences. 121-129 2006 conf/pepm/2006 PEPM http://doi.acm.org/10.1145/1111542.1111563 db/conf/pepm/pepm2006.html#LucaAAK06