diff --git a/README.md b/README.md
index ad43dbe..f4c4f28 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # VeriFlow
 
+[VeriFlow: Verifying Network-Wide Invariants in Real Time](https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf)
+
 ## Requirements
   - Python 3