On injective attributed characterization of 2-way deterministic finite state transducers - Bartha, Miklós (Acta Cybernetica, 1984)