МАРТЫНЕНКО, Б. К. Syntax Directed Generation of Tests for Processors of Regular Languages. Computer Tools in Education, n. 5, p. 17-45, 4 Jun. 2017.