Bartha, M. 1984. On injective attributed characterization of 2-way deterministic finite state transducers. Acta Cybernetica. 6, 4 (Jan. 1984), 347-353.