Мартыненко Б. К. One More Method for Minimization of Finite Automata // Comput. Tools Educ. St. Petersburg, Russia, 2017. № 1. Pp. 5-14.