@INPROCEEDINGS{PalominoEtAl05,
  author =       {Miguel Palomino and Jos\'e Meseguer and
                  Narciso Mart{\'\i}-Oliet},
  title =        {A categorical approach to {K}ripke structures and simulations},
  booktitle =    {Algebra and Coalgebra in Computer Science. 
                  First International Conference, CALCO 2005, Swansea, UK,
                  September 2005. Proceedings},
  editor =       {Jos\'e Luiz Fiadeiro and Neil Harman and 
                  Markus Roggenbach and Jan Rutten},
  series =       {Lecture Notes in Computer Science},
  volume =       3629,
  publisher =    {Springer-Verlag},
  pages =        {313-330},
  year =         2005
}