@INPROCEEDINGS{MartiOlietEtAl04-prole04, author = {Narciso Mart{\'\i}-Oliet and Miguel Palomino and Alberto Verdejo}, title = {A Tutorial on Specifying Data Structures in {Maude}}, booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)}, editor = {Salvador Lucas}, pages = {105-132}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, volume = 137, number = 1, year = 2005 }