diff -r 23818853a710 -r 6953d2786e7c ChengsongTanPhdThesis/example.bib
--- a/ChengsongTanPhdThesis/example.bib	Mon Mar 28 00:59:42 2022 +0100
+++ b/ChengsongTanPhdThesis/example.bib	Mon Mar 28 20:00:04 2022 +0100
@@ -9,11 +9,17 @@
 @article{Rathnayake2014StaticAF,
   title={Static Analysis for Regular Expression Exponential Runtime via Substructural Logics},
   author={Asiri Rathnayake and Hayo Thielecke},
-  journal={ArXiv,
+  journal={ArXiv},
   year={2014},
   volume={abs/1405.7058}
 }
 
+@inproceedings{Weideman2017Static,
+  title={Static analysis of regular expressions},
+  author={Nicolaas Weideman},
+  year={2017}
+}
+
 @inproceedings{RibeiroAgda2017,
 	abstract = {We describe the formalization of a regular expression (RE) parsing algorithm that produces a bit representation of its parse tree in the dependently typed language Agda. The algorithm computes bit-codes using Brzozowski derivatives and we prove that produced codes are equivalent to parse trees ensuring soundness and completeness w.r.t an inductive RE semantics. We include the certified algorithm in a tool developed by us, named verigrep, for regular expression based search in the style of the well known GNU grep. Practical experiments conducted with this tool are reported.},
 	address = {New York, NY, USA},
@@ -109,9 +115,9 @@
 	date-added = {2020-11-24 00:00:00 +0000},
 	date-modified = {2021-05-07 00:00:00 +0000},
 	keywords = {ReDos static analyser},
-	month = {May}
-	title = {regexploit}
-	url = {https://github.com/doyensec/regexploit}
+	month = {May},
+	title = {regexploit},
+	url = {https://github.com/doyensec/regexploit},
 	year = {2021}
 }
 	
@@ -122,7 +128,13 @@
 	url = {https://wiki.haskell.org/Regex_Posix},
 	year = {2017}
 }
-
+@misc{regex101,
+	title = {regex101},
+	author = {Firas Dib},
+	year = {2011},
+	url = {https://regex101.com/},
+	keywords = {regex tester debugger}
+}
 
 @techreport{grathwohl2014crash,
   title={A Crash-Course in Regular Expression Parsing and Regular Expressions as Types},