Мартыненко, Б. К. “Syntax Directed Generation of Tests for Processors of Regular Languages”. Computer Tools in Education, no. 5, June 2017, pp. 17-45, http://cte.eltech.ru/ojs/index.php/kio/article/view/1411.