Embedding domain-specific modeling languages into Maude specifications

Vlad Rusu. Embedding domain-specific modeling languages into Maude specifications. Software and Systems Modeling (Preprint) 2012.

Bibliographies