summaryrefslogtreecommitdiff
path: root/paper/paper.bib
diff options
context:
space:
mode:
authorCamil Staps2016-06-03 13:31:46 +0200
committerCamil Staps2016-06-03 13:31:46 +0200
commit14ec0ad883bc51fb16c72472e060ff0443e29533 (patch)
treeac2174232e9546987b988f34a5a2ef6140998093 /paper/paper.bib
parentRewrite eval for AExpr (diff)
Finishing first version paper
Diffstat (limited to 'paper/paper.bib')
-rw-r--r--paper/paper.bib25
1 files changed, 6 insertions, 19 deletions
diff --git a/paper/paper.bib b/paper/paper.bib
index f43c91e..a0a462f 100644
--- a/paper/paper.bib
+++ b/paper/paper.bib
@@ -20,25 +20,12 @@
year = {1995}
}
-@article{algol,
- author = {Backus, J. W. and Bauer, F. L. and Green, J. and Katz, C. and McCarthy, J. and Perlis, A. J. and Rutishauser, H. and Samelson, K. and Vauquois, B. and Wegstein, J. H. and van Wijngaarden, A. and Woodger, M.},
- editor = {Naur, Peter},
- title = {Report on the Algorithmic Language ALGOL 60},
- journal = {Commun. ACM},
- issue_date = {May 1960},
- volume = {3},
- number = {5},
- month = may,
- year = {1960},
- issn = {0001-0782},
- pages = {299--314},
- numpages = {16},
- url = {http://doi.acm.org/10.1145/367236.367262},
- doi = {10.1145/367236.367262},
- acmid = {367262},
- publisher = {ACM},
- address = {New York, NY, USA},
-}
+@book{fpasspec,
+ author = {Koopman, P.},
+ title = {Functional Programs as Executable Specifications},
+ year = {1990},
+ publisher = {Krips Repro Meppel}
+}
@article{yard,
author = {Jager, P.T.},