
@ARTICLE{Antimirov95,
    author = {V.~Antimirov},
    title = {{P}artial {D}erivatives of {R}egular {E}xpressions and 
     {F}inite {A}utomata {C}onstructions},
    journal = {Theoretical Computer Science},
    year = {1995},
    volume = {155},
    pages = {291--319}
}

@inproceedings{WuZhangUrban11,
  author    = {C.~Wu and X.~Zhang and C.~Urban},
  title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions
               ({P}roof {P}earl)},
  booktitle = {Proc.~of the 2nd International Conference on Interactive Theorem Proving},
  year      = {2011},
  pages     = {341--356},
  series    = {LNCS},
  volume    = {6898}
}