@TechReport{MMlogframework_1993,
  author = 	 {N. Mart{\'\i}-Oliet and J. Meseguer},
  title = 	 {Rewriting Logic as a Logical and Semantic Framework},
  institution =  {SRI International},
  year = 	 {1993},
}