diff -r 86122d793f32 -r 0c958e385691 Pearl/document/root.bib
--- a/Pearl/document/root.bib	Tue Apr 06 07:36:15 2010 +0200
+++ b/Pearl/document/root.bib	Tue Apr 06 14:08:06 2010 +0200
@@ -1,3 +1,14 @@
+@InProceedings{GunterOsbornPopescu09,
+  author = 	 {E.L.~Gunter and C.J.~Osborn and A.~Popescu},
+  title = 	 {{T}heory {S}upport for {W}eak {H}igher {O}rder {A}bstract {S}yntax in
+                  {I}sabelle/{HOL}},
+  booktitle = 	 {Proc.~of the 4th International Workshop on Logical Frameworks and Meta-Languages: 
+                  Theory and Practice (LFMTP)},
+  pages = 	 {12--20},
+  year = 	 {2009},
+  series = 	 {ENTCS}
+}
+
 @Unpublished{SatoPollack10,
   author = 	 {M.~Sato and R.~Pollack},
   title = 	 {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus},