@article{BirdMu2005:Countdown,
  title = "Countdown: A Case Study in Origami Programming",
  author = "Richard S. Bird and Shin-Cheng Mu",
  year = "2005",
  journal = "Journal of Functional Programming",
  number = "5",
  pages = "679-702",
  volume = "15",
  doi = "10.1017/S0956796805005642",
}