Мартыненко, Борис Константинович. 2017. «Ещё один метод минимизации конечных автоматов». Компьютерные инструменты в образовании, вып. 1 (февраль): 5-14. http://cte.eltech.ru/ojs/index.php/kio/article/view/1432.