@article{Bird84:Promotion,
  title = "The Promotion and Accumulation Strategies in Transformational Programming",
  author = "Richard S. Bird",
  year = "1984",
  journal = "ACM Transactions on Programming Languages and Systems",
  month = "oct",
  note = "See also \cite{Bird85:Promotion}",
  number = "4",
  pages = "487--504",
  volume = "6",
  doi = "10.1145/1780.1781",
}