112 

   113 @Article{Church40,

   114   author = 	 {A.~Church},

   115   title = 	 {{A} {F}ormulation of the {S}imple {T}heory of {T}ypes},

   116   journal = 	 {Journal of Symbolic Logic},

   117   year = 	 {1940},

   118   volume = 	 {5},

   119   number = 	 {2},

   120   pages = 	 {56--68}

   121 }

   122 

   123 @ARTICLE{Antimirov95,

   124     author = {V.~Antimirov},

   125     title = {{P}artial {D}erivatives of {R}egular {E}xpressions and 

   126      {F}inite {A}utomata {C}onstructions},

   127     journal = {Theoretical Computer Science},

   128     year = {1995},

   129     volume = {155},

   130     pages = {291--319}

   131 }

   132 

   133 @ARTICLE{Brozowski10,

   134   author = {J.~Brozowski},

   135   title = {{Q}uotient {C}omplexity of {R}egular {L}anguages},

   136   journal = {Journal of Automata, Languages and Combinatorics},

   137   volume = {15},

   138   number = {1/2}, 

   139   pages = {71--89},

   140   year = 2010

   141 }