Мартыненко Б. К. Ещё один метод минимизации конечных автоматов // Comput. Tools Educ. Санкт-Петербург, Россия, 2017. № 1. сс. 5-14.