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