@article{P113.057,
author={Heyse, Karel and Bruneel, Karel and Stroobandt, Dirk},
title={Proving correctness of regular expression matchers with constrained repetition},
journal={ELECTRONICS LETTERS},
year={2013},
volume={49},
number={1},
pages={41-42},
}