From 51b07afefcf585fc384a8492dab12add36b33701 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Mon, 11 Sep 2017 10:50:20 +0200
Subject: [PATCH] Bibliography.

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 9160de3..6e4bbe0 100644
--- a/README.md
+++ b/README.md
@@ -93,3 +93,8 @@ opam repo add coq-released https://coq.inria.fr/opam/released
 opam update
 opam install -j4 -v coq.8.5.3
 ```
+
+## Bibliography
+
+[Types and Programming Languages](https://mitpress.mit.edu/books/types-and-programming-languages),
+Benjamin C. Pierce, MIT Press, 2002.