@inproceedings{Bird91:Knuths,
  title = "Knuth's Problem",
  author = "Richard S. Bird",
  year = "1991",
  booktitle = "IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications",
  editor = "B. M{\"o}ller",
  pages = "1--8",
  publisher = "North-Holland",
}