@incollection{Hin10Rea,
  title = "Reasoning about Codata",
  author = "Hinze, Ralf",
  year = "2010",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Third Central European Functional Programming School (CEFP 2009)",
  editor = "Horv\'{a}th, Zolt\'{a}n and Plasmeijer, Rinus and Zs\'{o}k, Vikt\'{o}ria",
  location = "Komarno, Slovakia",
  pages = "42--93",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "6299",
  doi = "10.1007/978-3-642-17685-2_3",
}