Servais. From Two-way to One-way Finite State Transducers. 26 Apr. 2013.