Hugh Anderson Siau-Cheng Khoo Stefan Andrei Beatrice Luca Calculating Polynomial Runtime Properties. 230-246 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_16 db/conf/aplas/aplas2005.html#AndersonKAL05