@ARTICLE{MartiOlietEtAl03-journal,
  author = 	 {Jos{\'e} Meseguer and 
                  Miguel Palomino and Narciso Mart{\'\i}-Oliet},
  title = 	 {Algebraic Simulations},
  journal =      {Journal of Logic and Algebraic Programming},
  year = 	 2009,
  volume =       79,
  number =       2
}