@InProceedings{principlesmm,
  author = 	 {F. Dur{\'a};n, S. Eker, P. Lincoln, and J. Meseguer},
  title = 	 {Mobile Maude},
  year = 	 {2000},
  volume = 	 {1882},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}