diff -r 7a579f5533f8 -r 5af61c89f51e thys3/document/root.bib
--- a/thys3/document/root.bib	Sat Jul 16 18:34:46 2022 +0100
+++ b/thys3/document/root.bib	Sun Jul 17 13:07:05 2022 +0100
@@ -8,6 +8,27 @@
   pages = {46--90}
 }
 
+@InProceedings{BjorklundMartensTimm2015,
+  author = {H.~Bj\"{o}rklund and W.~Martens and T.~Timm},
+  title = {{E}fficient {I}ncremental {E}valuation of {S}uccinct
+           {R}egular {E}xpressions},
+  booktitle = {Proc.~of the 24th ACM Conf.~on Information and Knowledge Management (CIKM)},	   
+  year = {2015},
+  pages = {1541--1550}
+}
+
+@Article{CountingSet2020,
+author = {L.~Turo\v{n}ov\'{a} and L.~Hol\'{\i}k
+          and O.~Leng\'{a}l and O.~Saarikivi
+	  and M.~Veanes and T.~Vojnar},
+title = {{R}egex {M}atching with {C}ounting-{S}et {A}utomata},
+year = {2020},
+journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
+publisher = {ACM},
+volume = {4},
+pages     = {218:1--218:30}
+}
+
 
 @Misc{POSIX,
   title =     {{T}he {O}pen {G}roup {B}ase {S}pecification {I}ssue 6 {IEEE} {S}td 1003.1 2004 {E}dition},
@@ -359,3 +380,26 @@
   volume={},
   number={},
   pages={92--100}}
+
+
+@inproceedings{verbatimpp,
+  author    = {D.~Egolf and S.~Lasser and K.~Fisher},
+  title     = {{V}erbatim++: {V}erified, {O}ptimized, and
+               {S}emantically {R}ich {L}exing with
+               {D}derivatives},
+  booktitle = {Proc.~of the 11th {ACM} {SIGPLAN} Conference on Certified
+               Programs and Proofs (CPP)},
+  pages     = {27--39},
+  publisher = {{ACM}},
+  year      = {2022}
+}
+
+@article{zipperparser,
+ author = {P.~Darragh and M.~D.~Adams},
+ title = {{P}arsing with {Z}ippers ({F}unctional {P}earl)},
+ year = {2020},
+ issue_date = {August 2020},
+ publisher = {Association for Computing Machinery},
+ volume = {4},
+ journal = {Proc. ACM Program. Lang.},
+ number = {ICFP} }
\ No newline at end of file