@inproceedings{Bird97:Allegories,
  title = "Allegories as a Basis for Algorithmics",
  author = "Richard S. Bird",
  year = "1997",
  booktitle = "LNCS~1290: Category Theory and Computer Science",
  editor = "Eugenio Moggi and Guiseppe Rosolini",
  month = "sep",
  pages = "34--46",
  publisher = "Springer-Verlag",
  doi = "10.1007/BFb0026979",
}