From 23487a1fa3e35868cd9d838eb3c59d02ed5ebdac Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Dec 2009 10:24:53 +0100
Subject: [PATCH] Actually add bibtex entries for added references.

---
 Report.bib | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/Report.bib b/Report.bib
index 070e98f..3142eaf 100644
--- a/Report.bib
+++ b/Report.bib
@@ -163,3 +163,38 @@
  publisher = {ACM},
  address = {New York, NY, USA},
 }
+
+@book{jones87,
+	author = {Peyton Jones, Simon L.},
+	title = {The implementation of functional programming languages},
+	year = {1987},
+	publisher = {Prentice-Hall},
+}
+
+@article{church36,
+ title = {Some Properties of Conversion},
+ author = {Church, Alonzo and Rosser, J. B.},
+ journal = {Transactions of the American Mathematical Society},
+ volume = {39},
+ number = {3},
+ pages = {472--482},
+ url = {http://www.jstor.org/stable/1989762},
+ issn = {00029947},
+ year = {1936},
+ publisher = {American Mathematical Society},    
+}
+
+@book{klop80,
+	title={Combinatory reduction systems},
+	author={J.W. Klop},
+	year={1980},
+	publisher={Mathematisch Centrum},
+}
+
+@book{barendregt84,
+	title={The lambda calculus},
+	author={Hendrik Pieter Barendregt},
+	year={1984},
+	publisher={Elsevier Science},
+	edition={revised},
+}
-- 
2.30.2