1. Amalgamation of graph transformations with applications to synchronization;Boehm,1985
2. Subtyping is not a good “match” for object-oriented languages;Bruce,1997
3. Semantic anchoring with model transformations;Chen,2005
4. Generic aspect-oriented design with Theme/UML;Clarke,2005
5. All About Maude;Clavel,2007