@misc{indiciaead34eac3791f,
  title = {Applications of Metric Coinduction},
  author = {Dexter Kozen and Nicholas Ruozzi},
  year = {2009},
  doi = {10.2168/lmcs-5(3:10)2009},
  url = {https://arxiv.org/abs/0908.2793},
  note = {Source identifier: 0908.2793}
}