18 @article{Murugesan2014,

    19   author    = {N.~Murugesan and O.~V.~Shanmuga Sundaram},

    20   title     = {{S}ome {P}roperties of {B}rzozowski {D}erivatives of {R}egular {E}xpressions},

    21   journal   = {International Journal of Computer Trends and Technology},

    22   volume    = {13},

    23   number    = {1},

    24   year      = {2014},

    25   url       = {http://arxiv.org/abs/1407.5902},

    26   pages     = {29--33}

    27 }

    28 

    29 @PhdThesis{Ausaf,

    30   author =       {F.~Ausaf},

    31   title =        {{V}erified {L}exing and {P}arsing},

    32   school =       {King's College London},

    33   year =         {2018}

    34 }