diff --git a/README.md b/README.md
index 3247d7c..1a58dc8 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,10 @@
 higher
 ======
 
-Higher-kinded programming in OCaml
+Higher-kinded programming in OCaml, as described in
+
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[Lightweight Higher-Kinded Polymorphism][flops-2014-paper]<br/>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Jeremy Yallop and Leo White<br/>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Functional and Logic Programming 2014<br/>
+
+[flops-2014-paper]: https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf