@inproceedings{Gibbons&Hutton99:Proof,
  title = "Proof Methods for Structured Corecursive Programs",
  author = "Jeremy Gibbons and Graham Hutton",
  year = "1999",
  booktitle = "Proceedings of 1st Scottish Workshop on Functional Programming",
}