Parameterized Theories and Views in Full Maude 2.0 | Publicación