Executable structural operational semantics in maude (2006)

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