@article{BirdPaterson99:Generalised,
  author = "Richard Bird and Ross Paterson",
  journal = "Formal Aspects of Computing",
  pages = "200--222",
  title = "Generalised Folds for Nested Datatypes",
  url = "http://www.comlab.ox.ac.uk/people/richard.bird/online/BirdPaterson99Generalised.pdf",
  volume = "11",
  year = "1999",
}