diff --git a/README.md b/README.md
index e54c490..fc65c7d 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,6 @@ Publications
 
 A Refinement Calculus for Promela, ICECCS 2013 (to appear)
 
-[End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4798), CoRR 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)