@InProceedings{CDEMSmetatool_1999,
  author = 	 {M. Clavel and F. Dur{\'a}n and S. Eker and J. Meseguer and M.-O. Stehr},
  title = 	 {Maude as a Formal Meta-Tool},
  booktitle = 	 {World Congress on Formal Methods (FM'99)},
  pages = 	 {1684-1703},
  year = 	 {1999},
  volume = 	 {1709},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}