Germán Puebla Manuel V. Hermenegildo Abstract specialization and its applications. 29-43 2003 conf/pepm/2003 PEPM http://doi.acm.org/10.1145/777388.777393 db/conf/pepm/pepm2003.html#PueblaH03