--- a/Paper/document/root.bib	Thu Mar 18 15:32:49 2010 +0100
+++ b/Paper/document/root.bib	Thu Mar 18 16:22:10 2010 +0100
@@ -1,7 +1,20 @@
+@InProceedings{Homeier05,
+  author = 	 {P.~Homeier},
+  title = 	 {{A} {D}esign {S}tructure for {H}igher {O}rder {Q}uotients},
+  booktitle = 	 {Proc.~of the 18th International Conference on Theorem 
+                  Proving in Higher Order Logics (TPHOLs)},
+  pages = 	 {130--146},
+  year = 	 {2005},
+  volume = 	 {3603},
+  series = 	 {LNCS}
+}
+
+
 @Unpublished{HuffmanUrban10,
   author = 	 {B.~Huffman and C.~Urban},
   title = 	 {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle},
-  note = 	 {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf},
+  note = 	 {To appear at ITP 2010},
+  annote =       {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf},
   year = 	 {2010}
 }