@incollection{Bird87:Theory,
  title = "An Introduction to the Theory of Lists",
  author = "Richard S. Bird",
  year = "1987",
  booktitle = "Logic of Programming and Calculi of Discrete Design",
  editor = "M. Broy",
  note = "NATO ASI Series~F Volume~36. Also available as Technical Monograph PRG-56, from the Programming Research Group, Oxford University",
  pages = "3--42",
  publisher = "Springer-Verlag",
}