diff --git a/Bibliography/RATH/crossrefs.bib b/Bibliography/RATH/crossrefs.bib
index 4761fdb..5100772 100644
--- a/Bibliography/RATH/crossrefs.bib
+++ b/Bibliography/RATH/crossrefs.bib
@@ -2956,7 +2956,7 @@ @Proceedings{IFL1997
   booktitle = {IFL '97: 9th International Workshop on Implementation of Functional Languages},
   year = {1998},
   isbn = {3-540-64849-6},
-  editor =	 {\unfinished},
+  editor = {Clack C. and Hammond K. and Davie T.},
   bookURL = {http://www.springerlink.com/content/9yuvrx6du1qd/},
   series = LNCS,
   volume = 1467,
diff --git a/Bibliography/RATH/ref.bib b/Bibliography/RATH/ref.bib
index a44c19c..1ef869d 100644
--- a/Bibliography/RATH/ref.bib
+++ b/Bibliography/RATH/ref.bib
@@ -15583,7 +15583,7 @@ @InProceedings{Chitil-1998
   crossref = {IFL1997},
   pages = {53--71},
   DOI = {10.1007/BFb0055420},
-  URL = {http://www.springerlink.com/content/87m4m1294j472456/},
+  DirectURL = {http://www.springerlink.com/content/87m4m1294j472456/},
   WKloc = {A-0676},
   annote = {contains GHC Core syntax},
   abstract = {Common subexpression elimination is a well-known
@@ -81388,7 +81388,7 @@ @Article{deBruijn-1972
   author = {N.G. de Bruijn},
   title = {Lambda Calculus Notation with Nameless Dummies, a Tool for
 	  Automatic Formula Manipulation, with Application to the
-	  Church-Rosser Theorem},
+	  {Church-Rosser} Theorem},
   journal = {Indagationes Mathematicae},
   volume = 34,
   year = 1972,
diff --git a/Bibliography/ref.bib b/Bibliography/ref.bib
index 66a2d31..12c5eb7 100644
--- a/Bibliography/ref.bib
+++ b/Bibliography/ref.bib
@@ -26,9 +26,9 @@ @misc{agdawiki
   url =		 {http://wiki.portal.chalmers.se/agda/agda.php}
 }
 
-@misc{appel1992,
+@book{appel1992,
   title =	 {Compiling with Continuations},
-  author =	 {Appel, Andrew W},
+  author =	 {Appel, Andrew W.},
   year =	 1992,
   publisher =	 {Cambridge University Press, England}
 }
@@ -68,11 +68,11 @@ @article{fokkinga1987
   publisher =	 {CWI}
 }
 
-@article{fredriksson2011,
-  title =	 {A totaly {Epic} backend for {Agda}},
+@Misc{fredriksson2011,
+  title =	 {A totally {Epic} backend for {Agda}},
   author =	 {Fredriksson, Olle and Gustafsson, Daniel},
   year =	 2011,
-  publisher =	 {Chalmers University of Technology}
+  howpublished = {Chalmers University of Technology}
 }
 
 @manual{ghcprofiling,
diff --git a/MScThesis.lhs b/MScThesis.lhs
index eb85f62..fd5eb5e 100755
--- a/MScThesis.lhs
+++ b/MScThesis.lhs
@@ -155,7 +155,6 @@
 \bibliographystyle{plainnat}
 \addcontentsline{toc}{chapter}{Bibliography}
 \bibliography{Bibliography/RATH/strings,Bibliography/RATH/ref,Bibliography/RATH/crossrefs,Bibliography/ref}
-\edcomm{NP}{Chitil-1997 still has a ???}
 
 % Index
 \newpage