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