@inproceedings{DBLP:conf/mpc/Bird95,
  title = "Functional Algorithm Design",
  author = "Richard S. Bird",
  year = "1995",
  booktitle = "Mathematics of Program Construction",
  isbn = "3-540-60117-1",
  pages = "2-17",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "947",
  doi = "10.1007/3-540-60117-1_2",
}