@inproceedings{Bird2006:Loopless,
  title = "Loopless Functional Algorithms",
  author = "Richard S. Bird",
  year = "2006",
  booktitle = "Mathematics of Program Construction",
  editor = "Tarmo Uustalu",
  isbn = "3-540-35631-2",
  pages = "90-114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4014",
  doi = "10.1007/11783596_9",
}