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