diff -r aa3a94ea68dd -r dc3e7e763f6b publications.html
--- a/publications.html	Fri Sep 02 21:13:04 2022 +0100
+++ b/publications.html	Thu Oct 27 08:17:23 2022 +0100
@@ -71,8 +71,11 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>Pending</H3>
+<p><B>POSIX Lexing with Bitcoded Derivatives.</B>
+      (with Tan) 
+</TD>  
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      (with Ausaf and Dyckhoff) Journal version.
+      Journal version.
 </TD>
 </TR>