--- a/Paper/document/root.bib	Thu Jun 10 10:53:51 2010 +0200
+++ b/Paper/document/root.bib	Thu Jun 10 13:28:38 2010 +0200
@@ -1,3 +1,13 @@
+@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},
+  year = 2010,
+  series = "LNCS",
+  pages = "40--55",
+  volume = 6009
+}
+
+
 @InProceedings{ UrbanTasson05,
 	author = "C. Urban and C. Tasson",
 	title = "{N}ominal {T}echniques in {I}sabelle/{HOL}",