@article{K07b,
  number="4:8",
  volume="3",
  title="Coinductive Proof Principles for Stochastic Processes",
  author="Dexter Kozen",
  note="DOI: 10.2168/LMCS-3 (4:8) 2007",
  year="2007",
  journal="Logical Methods in Computer Science"
}