--- a/publications.html	Wed Aug 24 10:24:55 2016 +0100
+++ b/publications.html	Fri Sep 16 22:14:44 2016 +0100
@@ -89,7 +89,10 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B>
-      (with Ausaf and Dyckhoff) Accepted at ITP 2016.
+      (with Ausaf and Dyckhoff)
+      In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). 
+      In Volume <A HREF="https://link.springer.com/book/10.1007/978-3-319-43144-4">9807</A>
+      of Lecture Notes in Computer Science. Pages 69-86. Springer Verlag, 2016.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>]
 </TD>
 </TR>