diff --git a/README.md b/README.md
index e392c38b911e31e3a13d456deaf3e8b7203080dd..aee1fd3928cfc7c29bbf7020c0b89301de466d9e 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # SystemFtoBarRecursion
-Implementations of an interpretation of system F through bar recursion
+Implementations of an interpretation of system F through bar recursion defined in:
+https://valentinblot.org/pro/SystFbarrec.pdf