A rewriting logic approach to operational semantics (extended abstract (2007)

by T-F Serbanuta, G Rosu, J Meseguer
Venue:Electronic Notes in Theoretical Computer Science (ENTCS