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