A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. - Martin Sulzmann; Pippijn van Steenhoven (CC, 2014)