Executable structural operational semantics in Maude (2006)

by A Verdejo, N Martí-Oliet
Venue:Journal of Logic and Algebraic Programming