Мартыненко Б. К. Syntax Directed Generation of Tests for Processors of Regular Languages // Computer Tools in Education. St. Petersburg, Russia, 2017. № 5. Pp. 17-45.