о дипломной работе студента НГУ А.В.Роговских "Система построения абстрактных типов данных по их спецификацям. Лексический анализатор".