@article{Bird77:Notes,
  title = "Notes on Recursion Elimination",
  author = "Richard S. Bird",
  year = "1977",
  journal = "Communications of the ACM",
  number = "6",
  pages = "434--439",
  volume = "20",
  doi = "10.1145/359605.359630",
}