Alberto Verdejo Narciso Martí-Oliet Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. 113-172 2005 27 Formal Methods in System Design 1-2 http://dx.doi.org/10.1007/s10703-005-2254-x db/journals/fmsd/fmsd27.html#VerdejoM05