@techreport{skeletons-tr,
Author = {Adri\'an Riesco and Alberto Verdejo},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on,  
Universidad Complutense de Madrid},
Number = {SIC-1/07},
Title = {Parameterized skeletons in {Maude}},
Year = {2007}}