--- a/Paper/document/root.bib	Tue Feb 08 16:49:18 2011 +0000
+++ b/Paper/document/root.bib	Tue Feb 08 18:04:54 2011 +0000
@@ -49,3 +49,13 @@
  pages = {481--494},
  publisher = {ACM}
 } 
+
+@inproceedings{Nipkow98,
+ author={T.~Nipkow},
+ title={{V}erified {L}exical {A}nalysis},
+ booktitle={Theorem Proving in Higher Order Logics},
+ series=LNCS,
+ volume=1479,
+ pages={1--15},
+ year=1998
+}
\ No newline at end of file