Denis Maurel Laurent Chauvier Pseudo-minimal Transducers: A Transducer with Proper Elements. 122-132 1997 conf/wia/1997 Workshop on Implementing Automata db/conf/wia/wia1997.html#MaurelC97