Defining Object-Oriented Execution Semantics Using Graph Transformations