A.: Defining object-oriented execution semantics using graph transformations. (2006)

by H Kastenberg, A Kleppe, Rensink
Venue:Formal Methods for Open Object-Based Distributed Systems (FMOODS). Volume 4037 of Lecture Notes in Computer Science.,