@INPROCEEDINGS{DeFrutosEtAl08,
  author =       {de Frutos-Escrig, David and Carlos Gregorio-Rodr{\'\i}guez
                  and Miguel Palomino},
  title =        {Coinductive characterisations reveal nice relations
                  between preorders and equivalences},
  editor =       {Yixiang Chen and Guo-Qing Zhang and Prakash Panangaden},
  booktitle =    {The First International Conference on Foundations of 
                  Informatics, Computing and Software, FICS 2008},
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
  year =         2008,
  volume =       212,
  pages =        {149-162}
}