@inproceedings{DBLP:conf/mpc/MuB02,
  author = "Shin-Cheng Mu and Richard S. Bird",
  booktitle = "Mathematics of Program Construction",
  editor = "Eerke A. Boiten and Bernhard M{\"o}ller",
  isbn = "3-540-43857-2",
  pages = "209-232",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Inverting Functions as Folds",
  url = "http://www.comlab.ox.ac.uk/people/richard.bird/online/MuBird2002Inverting.pdf",
  volume = "2386",
  year = "2002",
}