Pseudo-minimal Transducers: A Transducer with Proper Elements. - Denis Maurel; Laurent Chauvier (Workshop on Implementing Automata, 1997)