--- a/thys2/Paper/document/root.bib	Tue Feb 08 01:25:26 2022 +0000
+++ b/thys2/Paper/document/root.bib	Tue Feb 08 14:29:41 2022 +0000
@@ -16,6 +16,7 @@
 }
 
 
+
 @InProceedings{AusafDyckhoffUrban2016,
   author =   {F.~Ausaf and R.~Dyckhoff and C.~Urban},
   title = 	 {{POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl)},
@@ -338,3 +339,15 @@
   year =         {2013}
 }
 
+@inproceedings{RibeiroAgda2017,
+author = {R.~Ribeiro and A.~Du Bois},
+title = {{C}ertified {B}it-{C}oded {R}egular {E}xpression {P}arsing},
+year = {2017},
+publisher = {Association for Computing Machinery},
+address = {New York, NY, USA},
+booktitle = {Proc.~of the 21st Brazilian Symposium on Programming Languages},
+articleno = {4},
+numpages = {8}
+}
+
+