A decomposition theorem for finite-valued transducers and an application to the equivalence problem - Weber, Andreas 1972- (1988)