On the Minimization of Finite State Transducers over Semigroups. - Vladimir A. Zakharov; G. G. Temerbekova (Autom. Control. Comput. Sci., 2017)