--- a/publications.html	Thu Sep 26 12:29:25 2013 +0100
+++ b/publications.html	Fri Sep 27 14:27:21 2013 +0100
@@ -154,7 +154,7 @@
       (with Kaliszyk) 
       In Proceedings of the 20th European Symposium on Programming (ESOP 2011).
       In Volume 6602 of Lecture Notes in Computer Science. Pages 480-500.
-      &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t6602.htm">Springer Verlag</A>
+      &copy <A HREF="http://link.springer.com/chapter/10.1007%2F978-3-642-19718-5_25">Springer Verlag</A>
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/esop-11.pdf">pdf</A>]
 
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions (Proof
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Sep 12 10:48:54 CEST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Sep 27 14:11:04 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>