Tom Staijen Arend Rensink Graph-based specification and simulation of featherweight Java with around advice. 25-30 2009 FOAL http://doi.acm.org/10.1145/1509837.1509844 conf/foal/2009 db/conf/foal/foal2009.html#StaijenR09