@inproceedings{erwig2012explanations,
  author = {Erwig, Martin and Gopinath, Rahul},
  title = {Explanations for Regular Expressions},
  booktitle = {International Conference on Fundamental Approaches to Software Engineering},
  year = {2012},
  pages = {394--408},
  publisher = {Springer-Verlag},
}