@InProceedings{alti:tlca03,
  author = 	 {Michael Abott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {Derivatives of Containers},
  booktitle = 	 {Typed Lambda Calculi and Applications, TLCA},
  year =	 {2003},
}