--- a/Paper/document/root.bib	Wed Jan 30 23:57:33 2013 +0000
+++ b/Paper/document/root.bib	Thu Jan 31 11:35:16 2013 +0000
@@ -32,9 +32,10 @@
 
 @Unpublished{WuZhangUrban12,
   author = 	 {C.~Wu and X.~Zhang and C.~Urban},
-  title = 	 {???},
+  title = 	 {{A} {F}ormal {M}odel and {C}orrectness {P}roof for an 
+                  {A}ccess {C}ontrol {P}olicy {F}ramework},
   note = 	 {Submitted},
-  year = 	 {2012}
+  year = 	 {2013}
 }
 
 @book{Boolos87,