@inproceedings{prole15,
  title = "Proving Continuity of Coinductive Global
           Bisimulation Distances: A Never Ending Story",
  author = "Romero-H\'ernandez, D. and
            de Frutos-Escrig, D. and
            Della Monica, D.",
  booktitle = "Proc. of the 15th Jornadas sobre
               PROgramaci{\'{o}}n y LEnguajes (PROLE)",
  series    = "EPTCS",
  year = "2015"
}