Media type: E-Article Title: Algebraic Methodology and Software Technology: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic Contributor: Braga, Christiano de O.; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D. imprint: Springer Berlin Heidelberg, 2000 Published in: Algebraic Methodology and Software Technology Language: Not determined DOI: 10.1007/3-540-45499-3_29 ISSN: 0302-9743 Origination: Footnote: