Christian Choffrut Minimizing subsequential transducers: a survey. 131-143 2003 292 Theor. Comput. Sci. 1 db/journals/tcs/tcs292.html#Choffrut03