@TechReport{DMspecfullmaude_1999,
  author = 	 {F. Dur{\'a}n and J. Meseguer},
  title = 	 {The {Maude} Specification of {Full Maude}},
  institution =  {SRI International},
  year = 	 {1999},
}