@InProceedings{VerdejoMarti-Oliet02b,
   author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
   title =        {Implementing {CCS} in {Maude} 2},
   crossref =     {GadducciMontanari02},
   pages =        {239-257},
   editor =       {Fabio Gadducci and Ugo Montanari},
   booktitle =    {Proceedings Fourth International Workshop on Rewriting
                   Logic and its Applications, WRLA 2002, Pisa, Italy,
                   September 19--21, 2002},
   year =         2002,
   publisher =    {Elsevier},
   volume =       71,
   series =       {Electronic Notes in Theoretical Computer Science},
   note =         
{\url{http://www.elsevier.nl/locate/entcs/volume71.html}}
}