@article{Gibbons&Hutton2005:Proof,
  title = "Proof Methods for Corecursive Programs",
  author = "Jeremy Gibbons and Graham Hutton",
  year = "2005",
  journal = "Fundamenta Informaticae",
  month = "April/May",
  number = "4",
  pages = "353-366",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/corecursive.pdf",
  volume = "66",
}