--- a/Paper/document/root.bib	Fri Feb 18 12:14:07 2011 +0000
+++ b/Paper/document/root.bib	Fri Feb 18 14:26:23 2011 +0000
@@ -60,8 +60,8 @@
 @inproceedings{Nipkow98,
  author={T.~Nipkow},
  title={{V}erified {L}exical {A}nalysis},
- booktitle={Theorem Proving in Higher Order Logics},
- series=LNCS,
+ booktitle={Proc.~of the 11th International Conference on Theorem Proving in Higher Order Logics},
+ series={LNCS},
  volume=1479,
  pages={1--15},
  year=1998
@@ -75,4 +75,25 @@
   series=LNCS,
   volume=2277,
   pages="24--40"
+}
+
+@book{HopcroftUllman69,
+  author    = {J.~E.~Hopcroft and
+               J.~D.~Ullman},
+  title     = {{F}ormal {L}anguages and {T}heir {R}elation to {A}utomata},
+  publisher = {Addison-Wesley},
+  year      = {1969}
+}
+
+
+@inproceedings{BerghoferReiter09,
+  author    = {S.~Berghofer and
+               M.~Reiter},
+  title     = {{F}ormalizing the {L}ogic-{A}utomaton {C}onnection},
+  booktitle = {Proc.~of the 22nd International
+               Conference on Theorem Proving in Higher Order Logics},
+  year      = {2009},
+  pages     = {147-163},
+  series    = LNCS,
+  volume    = {5674}
 }
\ No newline at end of file