diff --git a/README.md b/README.md
index bab2c5d..57ad8a4 100644
--- a/README.md
+++ b/README.md
@@ -12,3 +12,12 @@ Usage
 ./spinr filename.pml
 
 Will refine the Promela model filename.pml to a C implementation filename.pml.c 
+
+Publications
+------------
+
+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