On Some Decidable Properties of Finite State Translations. - Alan J. Demers; C. Keleman; Bernd Reusch (Acta Informatica, 1982)