--- a/thys/Journal/document/root.bib	Fri Sep 22 12:25:25 2017 +0100
+++ b/thys/Journal/document/root.bib	Thu Oct 05 12:45:13 2017 +0100
@@ -1,4 +1,12 @@
-
+@article{HosoyaVouillonPierce2005,
+  author = {H.~Hosoya and J.~Vouillon and B.~C.~Pierce},
+  title = {{R}egular {E}xpression {T}ypes for {XML}},
+  journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
+  year = {2005},
+  volume = 27,
+  number = 1,
+  pages = {46--90}
+}
 
 
 @Misc{POSIX,