@InProceedings{alti:lics09,
  author =	 {Peter Morris and Thorsten Altenkirch},
  title =	 {Indexed Containers},
  year = 	 {2009},
  booktitle =	 {Twenty-Fourth IEEE Symposium in Logic in Computer Science (LICS 2009)},
}