--- a/Journal/document/root.bib	Wed Aug 03 13:56:01 2011 +0000
+++ b/Journal/document/root.bib	Wed Aug 03 17:08:31 2011 +0000
@@ -11,7 +11,7 @@
 
 
 @Unpublished{KraussNipkow11,
-  author = 	 {A.~Kraus and T.~Nipkow},
+  author = 	 {A.~Krauss and T.~Nipkow},
   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},
   note = 	 {To appear in Journal of Automated Reasoning},
   year = 	 {2011}
@@ -130,8 +130,8 @@
     pages = {291--319}
 }
 
-@ARTICLE{Brozowski10,
-  author = {J.~Brozowski},
+@ARTICLE{Brzozowski10,
+  author = {J.~A.~Brzozowski},
   title = {{Q}uotient {C}omplexity of {R}egular {L}anguages},
   journal = {Journal of Automata, Languages and Combinatorics},
   volume = {15},
@@ -150,7 +150,7 @@
 @inproceedings{WuZhangUrban11,
   author    = {C.~Wu and X.~Zhang and C.~Urban},
   title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
-  booktitle = {Proc.~of the 2nd 1st Conference on Interactive Theorem Proving},
+  booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},
   year      = {2011},
   pages     = {???},
   series    = {LNCS},