diff options
Diffstat (limited to 'thesis/thesis.bib')
-rw-r--r-- | thesis/thesis.bib | 21 |
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 +} |