M. Bartha, “On injective attributed characterization of 2-way deterministic finite state transducers”, Acta Cybern, vol. 6, no. 4, pp. 347-353, Jan. 1984.