@Manual{CDELMMQmanual_1999,
  title = 	 {Maude: Specification and Programming in Rewriting Logic},
  author = 	 {M. Clavel and  F. Dur{\'a}n and S. Eker and P. Lincoln and
                  N. Mart{\'\i}-Oliet and J. Meseguer and J. Quesada},
  organization = {SRI International},
  year = 	 {1999},
}