Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov: Translating Regular Expression Matching into Transducers. SYNASC 2010: 107-115