@article{BirddeMoor93:List,
  title = "List Partitions",
  author = "Richard S. Bird and Oege de Moor",
  year = "1993",
  journal = "Formal Aspects of Computing",
  pages = "61--78",
  volume = "5",
  doi = "10.1007/BF01211316",
}