Мартыненко Б. К. Синтаксически управляемая генерация тестов для процессоров регулярных языков // Comput. Tools Educ. Санкт-Петербург, Россия, 2017. № 5. сс. 17-45.