diff -r 32b222d77fa0 -r 6746f5e1f1f8 thys/Journal/document/root.bib
--- a/thys/Journal/document/root.bib	Fri Aug 11 20:29:01 2017 +0100
+++ b/thys/Journal/document/root.bib	Fri Aug 18 14:51:29 2017 +0100
@@ -308,7 +308,7 @@
 
 
 
-@InProceedings{OkuiSuzuki2013,
+@InProceedings{OkuiSuzuki2010,
   author =       {S.~Okui and T.~Suzuki},
   title =        {{D}isambiguation in {R}egular {E}xpression {M}atching via
                   {P}osition {A}utomata with {A}ugmented {T}ransitions},
@@ -320,3 +320,13 @@
   pages =     {231--240}
 }
 
+
+
+@TechReport{OkuiSuzukiTech,
+  author =       {S.~Okui and T.~Suzuki},
+  title =        {{D}isambiguation in {R}egular {E}xpression {M}atching via
+                  {P}osition {A}utomata with {A}ugmented {T}ransitions},
+  institution =  {University of Aizu},
+  year =         {2013}
+}
+