@InProceedings{alti:fossacs03,
  author = 	 {Michael Abott and Thorsten Altenkirch and Neil Ghani },
  title = 	 {Categories of Containers},
  booktitle = 	 {Proceedings of Foundations of Software Science and Computation Structures},
  year =	 {2003}
}