Calculating Polynomial Runtime Properties. - Hugh Anderson; Siau-Cheng Khoo; Stefan Andrei; Beatrice Luca (APLAS, 2005)

Program transformation by solving recurrences. - Beatrice Luca; Stefan Andrei; Hugh Anderson; Siau-Cheng Khoo (PEPM, 2006)