--- a/ChengsongTanPhdThesis/example.bib	Mon Nov 07 21:31:07 2022 +0000
+++ b/ChengsongTanPhdThesis/example.bib	Tue Nov 08 23:24:54 2022 +0000
@@ -15,6 +15,23 @@
 %  year    = 1956,
 %  month   = jun
 %}
+@article{Murugesan2014,
+  author    = {N.~Murugesan and O.~V.~Shanmuga Sundaram},
+  title     = {{S}ome {P}roperties of {B}rzozowski {D}erivatives of {R}egular {E}xpressions},
+  journal   = {International Journal of Computer Trends and Technology},
+  volume    = {13},
+  number    = {1},
+  year      = {2014},
+  url       = {http://arxiv.org/abs/1407.5902},
+  pages     = {29--33}
+}
+
+@PhdThesis{Ausaf,
+  author =       {F.~Ausaf},
+  title =        {{V}erified {L}exing and {P}arsing},
+  school =       {King's College London},
+  year =         {2018}
+}
 
 %% POSIX specification------------------------
 @InProceedings{Okui10,