@UNPUBLISHED{MeseguerEtAl02a,
  author =       {Jos{\'e} Meseguer and Miguel Palomino and
                  Narciso Mart{\'\i}-Oliet},
  title =        {Notes on Model Checking and Abstraction in
                  Rewriting Logic},
  year =         2003,
  note =         {E-Prints UCM Services, \url{http://www.ucm.es/eprints/4880/}}
}