--- a/Journal/document/root.bib	Mon Jul 25 15:40:12 2011 +0000
+++ b/Journal/document/root.bib	Mon Jul 25 18:00:52 2011 +0000
@@ -108,4 +108,34 @@
   pages     = {147-163},
   series    = {LNCS},
   volume    = {5674}
-}
\ No newline at end of file
+}
+
+@Article{Church40,
+  author = 	 {A.~Church},
+  title = 	 {{A} {F}ormulation of the {S}imple {T}heory of {T}ypes},
+  journal = 	 {Journal of Symbolic Logic},
+  year = 	 {1940},
+  volume = 	 {5},
+  number = 	 {2},
+  pages = 	 {56--68}
+}
+
+@ARTICLE{Antimirov95,
+    author = {V.~Antimirov},
+    title = {{P}artial {D}erivatives of {R}egular {E}xpressions and 
+     {F}inite {A}utomata {C}onstructions},
+    journal = {Theoretical Computer Science},
+    year = {1995},
+    volume = {155},
+    pages = {291--319}
+}
+
+@ARTICLE{Brozowski10,
+  author = {J.~Brozowski},
+  title = {{Q}uotient {C}omplexity of {R}egular {L}anguages},
+  journal = {Journal of Automata, Languages and Combinatorics},
+  volume = {15},
+  number = {1/2}, 
+  pages = {71--89},
+  year = 2010
+} 
\ No newline at end of file