Using Reflection to Specify Transaction Sequences in Rewriting Logic | Publicación