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