@incollection{Gibbons2003:Origami,
  title = "Origami Programming",
  author = "Jeremy Gibbons",
  year = "2003",
  booktitle = "The Fun of Programming",
  editor = "Jeremy Gibbons and Oege de Moor",
  isbn = "1-4039-0772-2",
  pages = "41-60",
  publisher = "Palgrave",
  series = "Cornerstones in Computing",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/origami.pdf",
}