@inproceedings{KR07a,
  volume="4624",
  month="August",
  author="Dexter Kozen and Nicholas Ruozzi",
  series="Lecture Notes in Computer Science",
  city="Bergen, Norway",
  booktitle="Proc. 2nd Conf. Algebra and Coalgebra in Computer Science (CALCO 2007)",
  editor="T. Mossakowski et al.",
  title="Applications of Metric Coinduction",
  publisher="Springer",
  pages="327--341",
  year="2007"
}