@INPROCEEDINGS{FabregasEtAl07,
  author = 	     {Ignacio F\'abregas and Miguel Palomino and 
                  de Frutos Escrig, David},
  title = 	     {Reflection and preservation of properties in coalgebraic
                  (bi)simulations},
  editor = 	     {Cliff B. Jones and Zhiming Liu and Jim Woodcock},
  booktitle = 	 {Theoretical Aspects of Computing --- ICTAC 2007. 4th 
                  International Colloquium, Macao, China, September 2007,
                  Proceedings},
  year = 	     2007,
  pages =        {231-245},
  number =       4711,
  series = 	     {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag}
}