Мартыненко, Б. К. Syntax Directed Generation of Tests for Processors of Regular Languages. CTE 2017, 17-45.