Mohammad Reza Mousavi, Michel A. Reniers. Prototyping SOS Meta-theory in Maude. Electronic Notes in Theoretical Computer Science, 156(1):135-150, 2006. [doi]
@article{MousaviR06,
title = {Prototyping SOS Meta-theory in Maude},
author = {Mohammad Reza Mousavi and Michel A. Reniers},
year = {2006},
doi = {10.1016/j.entcs.2005.09.030},
url = {http://dx.doi.org/10.1016/j.entcs.2005.09.030},
tags = {meta-model, SOS, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/MousaviR06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {135-150},
}