Defining Object-Oriented Execution Semantics Using Graph Transformations.

Harmen Kastenberg Anneke Kleppe Arend Rensink Defining Object-Oriented Execution Semantics Using Graph Transformations. 186-201 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_15 db/conf/fmoods/fmoods2006.html#KastenbergKR06