On the Minimization Problem for Sequential Programs. - Vladimir A. Zakharov; S. R. Jaylauova (Autom. Control. Comput. Sci., 2017)