diff --git a/reals/faster/README.md b/reals/faster/README.md
new file mode 100644
index 00000000..68f864f7
--- /dev/null
+++ b/reals/faster/README.md
@@ -0,0 +1,6 @@
+The files in this directory correspond to the formalization presented in:
+
+Robbert Krebbers and Bas Spitters, _Type classes for efficient exact real arithmetic in Coq_
+LMCS 9(1:1), 2013. 10.2168/LMCS-9(1:01)2013. [arXiv 1106.3448](http://arxiv.org/abs/1106.3448/)
+
+The code is available under the MIT license.