--- a/publications.html	Wed Jun 27 14:10:44 2018 +0100
+++ b/publications.html	Wed Jun 27 14:12:24 2018 +0100
@@ -73,7 +73,10 @@
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
       (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning.
-      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+
+<p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
+      (with Ausaf and Dyckhoff) Journal version.
 </TD>
 </TR>