@inproceedings{Bird2006:Improving,
  author = "Richard S. Bird",
  booktitle = "Mathematics of Program Construction",
  doi = "10.1007/11783596_8",
  editor = "Tarmo Uustalu",
  isbn = "3-540-35631-2",
  pages = "82-89",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Improving Saddleback Search: A Lesson in Algorithm Design",
  volume = "4014",
  year = "2006",
}