summaryrefslogtreecommitdiff
path: root/thesis/thesis.bib
diff options
context:
space:
mode:
Diffstat (limited to 'thesis/thesis.bib')
-rw-r--r--thesis/thesis.bib21
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
+}