Germán Vidal Cost-augmented narrowing-driven specialization. 52-62 2002 PEPM http://doi.acm.org/10.1145/503032.503037 db/conf/pepm/pepm2002.html#Vidal02