Б. К. Мартыненко, “One More Method for Minimization of Finite Automata”, CTE, no. 1, pp. 5-14, Feb. 2017.