diff options
author | Camil Staps | 2016-06-03 13:31:46 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-03 13:31:46 +0200 |
commit | 14ec0ad883bc51fb16c72472e060ff0443e29533 (patch) | |
tree | ac2174232e9546987b988f34a5a2ef6140998093 /paper/paper.bib | |
parent | Rewrite eval for AExpr (diff) |
Finishing first version paper
Diffstat (limited to 'paper/paper.bib')
-rw-r--r-- | paper/paper.bib | 25 |
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.}, |