Victor L. Winter Jason Beranek Program Transformation Using HATS 1.84. 378-396 2005 conf/gttse/2006 GTTSE http://dx.doi.org/10.1007/11877028_15 db/conf/gttse/gttse2006.html#WinterB06