@inproceedings{BirddeMoor93:Solving,
  title = "Solving Optimisation Problems with Catamorphisms",
  author = "Richard S. Bird and Oege de Moor",
  year = "1993",
  booktitle = "Mathematics of Program Construction",
  pages = "45--66",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/richard.bird/online/BirdDeMoor93Solving.pdf",
  volume = "669",
  doi = "10.1007/3-540-56625-2_7",
}