Мартыненко, Б.К. 2017. Ещё один метод минимизации конечных автоматов. Компьютерные инструменты в образовании. 1 (фев. 2017), 5–14.