--- a/publications.html	Fri Sep 20 11:29:32 2019 +0100
+++ b/publications.html	Fri Sep 20 11:35:35 2019 +0100
@@ -10,7 +10,8 @@
       LINK="#0000EF" 
       VLINK="#51188E" 
       ALINK="#FF0000">
-
+<font face='Tahoma'>
+  
 <TABLE WIDTH="100%" 
        BGCOLOR="#4169E1" 
        BORDER="0"   
@@ -24,7 +25,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="23">
+    ROWSPAN="24">
 
 <B>Links</B><BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -70,11 +71,6 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>Pending</H3>
-
-<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>]
-
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
       (with Ausaf and Dyckhoff) Journal version.
 </TD>
@@ -82,6 +78,17 @@
 
 <TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2018</H3>
+<p><B>Priority Inheritance Protocol Proved Correct.</B> 
+  (with Zhang and Wu) Journal version. In Journal of Automated Reasoning,
+  <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>.
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]  
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2017</H3>
 <p><B>Modelling Homogeneous Generative Meta-Programming</B>
       (with Berger and Tratt)
@@ -534,5 +541,6 @@
 Time-stamp: <- 2018-07-29 11:27:55 by Christian Urban>
 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </P> 
+</font>
 </BODY>
 </HTML>