Finishing first version paper

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.},