@inproceedings{Gibbons97:Calculating,
  title = "Calculating Functional Programs",
  author = "Jeremy Gibbons",
  year = "1997",
  booktitle = "Proceedings of ISRG/SERG Research Colloquium",
  editor = "Keiichi Nakata",
  month = "nov",
  note = "Technical Report CMS-TR-98-01",
  organization = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/calculating.ps.gz",
}