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