@UNPUBLISHED{Mspec_ver_rwl_2003,
  author = 	 {Jos{'e} Meseguer},
  title = 	 {Software Specification and Verification in Rewriting Logic},
  year = 	 {2003},
  address = 	 {Marktoberdorf, Germany},
  organization = {NATO Advanced Study Institute},
}