21/07/15

1 files changed, 26 insertions, 1 deletions

diff --git a/bib.bib b/bib.bib
index ed7095e..4c559f3 100644
--- a/bib.bib
+++ b/bib.bib
@@ -197,4 +197,29 @@ simple, portable techniques, such as bytecode interpretation;
 a sophisticated execution model helps counterbalance the
 interpretation overhead.},
   xtopic = {caml}
-}
\ No newline at end of file
+}
+
+@book{PeytonJones87,
+ author = {Peyton Jones, Simon L.},
+ title = {The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)},
+ year = {1987},
+ isbn = {013453333X},
+ publisher = {Prentice-Hall, Inc.},
+ address = {Upper Saddle River, NJ, USA},
+}
+
+@incollection{Mogensen00,
+year={2000},
+isbn={978-3-540-67102-2},
+booktitle={Perspectives of System Informatics},
+volume={1755},
+series={Lecture Notes in Computer Science},
+editor={Bjøner, Dines and Broy, Manfred and Zamulin, AlexandreV.},
+doi={10.1007/3-540-46562-6_11},
+title={Linear Time Self-Interpretation of the Pure Lambda Calculus},
+url={http://dx.doi.org/10.1007/3-540-46562-6_11},
+publisher={Springer Berlin Heidelberg},
+author={Mogensen, TorbenÆ.},
+pages={128-142},
+language={English}
+}