@article{Bird74:On,
  title = "On Transformations of Programs",
  author = "Richard Bird",
  year = "1974",
  journal = "Journal of Computer and System Sciences",
  pages = "22-35",
  volume = "8",
}