Мартыненко, Б.К. 2017. Syntax Directed Generation of Tests for Processors of Regular Languages. Computer Tools in Education. 5 (Jun. 2017), 17-45.