--- a/thys/Paper/document/root.bib	Tue May 24 11:36:21 2016 +0100
+++ b/thys/Paper/document/root.bib	Tue May 24 15:13:41 2016 +0100
@@ -1,4 +1,11 @@
-
+@article{aduAFP16,
+  author =   {Fahad Ausaf and Roy Dyckhoff and Christian Urban},
+  title =    {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions},
+  journal =  {Archive of Formal Proofs},
+  year =     2016,
+  note =     {\url{http://www.isa-afp.org/entries/Posix-Lexing.shtml}, Formal proof development},
+  ISSN =     {2150-914x}
+}
 
 
 @TechReport{CrashCourse2014,