Specifying Parameterized Data Structures in Maude | Publicación