X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=thesis.bib;h=47bb5967d59372f93dfc52a693d30475cfd915fc;hb=ffb60695dd2d6f69ba6ede6a85efdaded91db951;hp=9519f9ffc4a98aa63a1e57005428366d21818d7d;hpb=5bbbffc580f28704da849395f8fc722e01cc1c45;p=bitonic-mengthesis.git

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},