publication venue for From Monadic Second-Order Definable String Transformations to Transducers 2013 Regular Real Analysis 2013 Regular Transformations of Infinite Strings 2012