diff --git a/README.md b/README.md
index fc65c7d..57ad8a4 100644
--- a/README.md
+++ b/README.md
@@ -16,8 +16,8 @@ Will refine the Promela model filename.pml to a C implementation filename.pml.c
 Publications
 ------------
 
-A Refinement Calculus for Promela, ICECCS 2013 (to appear)
+A Refinement Calculus for Promela, ICECCS 2013
 
 [End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4796), CoRR 2013
 
-Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html)
+Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010