1 files changed, 21 insertions, 0 deletions
diff --git a/thesis/thesis.bib b/thesis/thesis.bib
index 70a9a2d..fc4fa09 100644
--- a/thesis/thesis.bib
+++ b/thesis/thesis.bib
@@ -9,3 +9,24 @@
 	organization="ARM Limited",
 	year=2006
 }
+
+@misc{clean,
+	title="Clean",
+	organization="Radboud University Nijmegen",
+	howpublished="\url{http://clean.cs.ru.nl/}",
+	year=2004
+}
+
+@article{lean,
+	title="LEAN: an Intermediate Language based on Graph Rewriting",
+	author={H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
+	journal="Parallel Computing 9",
+	year=1988
+}
+
+@phdthesis{execspecs,
+	title="Functional Programs as Executable Specifications",
+	author="P. Koopman",
+	school="Radboud University Nijmegen",
+	year=1990
+}