@Misc{alti:indexed-containers,
  author =	 {Thorsten Altenkirch and Neil Ghani and Peter Hancock and Conor McBride and Peter Morris},
  title =	 {Indexed Containers},
  howpublished = {Manuscript, available online},
  month =	 {February},
  year =	 {2006}
}