Vincenzo Gervasi Giacomo A. Galilei Software Manipulation with Annotations in Java. 161-184 2007 Lipari Summer School http://dx.doi.org/10.1007/978-3-540-89762-0_6 conf/lipari/2007 db/conf/lipari/lipari2007.html#GervasiG07