more progress

[bitonic-mengthesis.git] / thesis.bib

diff --git a/thesis.bib b/thesis.bib
index 9519f9ffc4a98aa63a1e57005428366d21818d7d..47bb5967d59372f93dfc52a693d30475cfd915fc 100644 (file)
--- 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},