@article{KraussN-JAR,author={Alexander Krauss and Tobias Nipkow},
title={Proof Pearl: Regular Expression Equivalence and Relation Algebra},
journal={J. Automated Reasoning},volume=49,pages={95--106},year=2012,note={published online March 2011}}

@inproceedings{Rutten98,
  author    = {Jan J. M. M. Rutten},
  title     = {Automata and Coinduction (An Exercise in Coalgebra)},
  editor    = {Davide Sangiorgi and Robert de Simone},
  booktitle = {Concurrency Theory (CONCUR'98)},
  pages     = {194--218},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1466},
  year      = {1998},
}

@article{Brzozowski64,
 author = {J.~A.~Brzozowski},
 title = {{D}erivatives of {R}egular {E}xpressions},
 journal = {Journal of the ACM},
 volume = {11},
 issue = {4},
 year = {1964},
 pages = {481--494},
 publisher = {ACM}
} 

@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}
}