@INPROCEEDINGS{MartiOlietEtAl2007,
  author =       {Narciso Mart{\'\i}-Oliet and Jos\'e Meseguer and 
                  Miguel Palomino},
  title =        {Algebraic Stuttering Simulations},
  editor =       {Ernesto Pimentel},
  booktitle =    {Proceedings of the Seventh Spanish Conference on Programming 
                  and Computer Languages (PROLE 2007)},
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
  year =         2008,
  volume =       206,
  pages =        {91-110}
}