--- a/Paper/document/root.bib	Tue Mar 23 09:05:23 2010 +0100
+++ b/Paper/document/root.bib	Tue Mar 23 10:24:12 2010 +0100
@@ -1,3 +1,11 @@
+
+@Unpublished{Pitts04,
+  author = 	 {Andrew Pitts},
+  title = 	 {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos},
+  note = 	 {bla},
+  year = 	 {2004}
+}
+
 @incollection{UrbanNipkow09,
   author = {C.~Urban and T.~Nipkow},
   title = {{N}ominal {V}erification of {A}lgorithm {W}},