@inproceedings{BirdMeertens98:Nested,
  address = "Marstrand, Sweden",
  author = "Richard S. Bird and Lambert Meertens",
  booktitle = "LNCS~1422: Proceedings of Mathematics of Program Construction",
  editor = "Johan Jeuring",
  month = "jun",
  pages = "52--67",
  publisher = "Springer-Verlag",
  title = "Nested Datatypes",
  url = "http://www.comlab.ox.ac.uk/people/richard.bird/online/BirdMeertens98Nested.pdf",
  year = "1998",
}