@incollection{Bird90:Calculus,
  title = "A Calculus of Functions for Program Derivation",
  author = "Richard S. Bird",
  year = "1990",
  booktitle = "Research Topics in Functional Programming",
  editor = "David A. Turner",
  note = "Also available as Technical Monograph PRG-64, from the Programming Research Group, Oxford University",
  organization = "University of Texas at Austin",
  publisher = "Addison-Wesley",
}