1 files changed, 7 insertions, 0 deletions
diff --git a/thesis.bib b/thesis.bib
index 9519f9f..47bb596 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -12,6 +12,13 @@
   year = {2002}
 }
 
+@inbook{Queinnec2003,
+  author    = {Christian Queinnec},
+  title     = {Lisp in Small Pieces},
+  publisher = {Cambridge University Press},
+  year      = {2003},
+}
+
 @online{Coq,
   author = {{The Coq Team}},
   title = {The Coq Proof Assistant},