--- a/LMCS-Paper/document/root.bib	Mon Sep 12 21:48:26 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Tue Sep 13 09:30:34 2011 +0200
@@ -1,3 +1,10 @@
+@InProceedings{WeirichYorgeySheard11,
+  author = 	 {S.~Weirich and B.~Yorgey and T.~Sheard},
+  title = 	 {{B}inders {U}nbound},
+  booktitle = 	 {Proc.~of the 16th International Conference on Functional Programming (ICFP)},
+  year = 	 {2011}
+}
+
 @InProceedings{UrbanKaliszyk11,
   author =       {C.~Urban and C.~Kaliszyk},
   title =        {General Bindings and Alpha-Equivalence in Nominal Isabelle},