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