A rewriting logic approach to operational semantics,” (2009)

by T-F Serbanuta, G Rosu, J Meseguer
Venue:Information & Computation,