@inproceedings{Bird88:Constructive,
  title = "Lectures on Constructive Functional Programming",
  author = "Richard S. Bird",
  year = "1988",
  booktitle = "Constructive Methods in Computer Science",
  editor = "Manfred Broy",
  note = "NATO ASI Series~F Volume~55. Also available as Technical Monograph PRG-69, from the Programming Research Group, Oxford University",
  pages = "151--218",
  publisher = "Springer-Verlag",
}