Formalizing the structural semantics of domain-specific modeling languages
Fundamental Theory for Typed Attributed Graph Transformation