From Monadic Second-Order Definable String Transformations to Transducers | IEEE Conference Publication | IEEE Xplore