@Manual{CDELMMQtutorial_2000,
  title = 	 {A {Maude} Tutorial},
  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 = 	 {2000},
}