@article{Bird*96:Generic,
  title = "Generic Functional Programming with Types and Relations",
  author = "Richard Bird and Oege de Moor and Paul Hoogendijk",
  year = "1996",
  journal = "Journal of Functional Programming",
  number = "1",
  pages = "1--28",
  url = "http://www.cs.ox.ac.uk/people/richard.bird/online/BirdHoogendijkDeMoor1996Generic.pdf",
  volume = "6",
}