@Article{CDELMMQspecprog_2001,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {{Maude}: Specification and Programming in Rewriting Logic},
  journal =      {Theoretical Computer Science},
  year =         2001,
}