--- a/Paper/document/root.bib	Wed Oct 06 08:13:09 2010 +0100
+++ b/Paper/document/root.bib	Wed Oct 06 21:32:44 2010 +0100
@@ -1,3 +1,12 @@
+
+@InProceedings{cheney05a,
+  author = 	 {J.~Cheney},
+  title = 	 {{S}crap your {N}ameplate ({F}unctional {P}earl)},
+  booktitle = 	 {Proc.~of the 10th ICFP Conference},
+  pages = 	 {180--191},
+  year = 	 {2005}
+}
+
 @Inproceedings{Altenkirch10,
   author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury},
   title =  {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar},