From 14ec0ad883bc51fb16c72472e060ff0443e29533 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jun 2016 13:31:46 +0200
Subject: Finishing first version paper

---
 paper/paper.bib | 25 ++++++-------------------
 1 file changed, 6 insertions(+), 19 deletions(-)

(limited to 'paper/paper.bib')

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.},
-- 
cgit v1.2.3