@article{DBLP:journals/scp/MuB04,
  author = "Shin-Cheng Mu and Richard S. Bird",
  doi = "10.1016/j.scico.2003.09.003",
  journal = "Science of Computer Programming",
  number = "1-2",
  pages = "87-116",
  title = "Theory and Applications of Inverting Functions as Folds",
  volume = "51",
  year = "2004",
}