о дипломной работе студентки НГУ В.Ю.Петрашковой "Система построения абстрактных типов данных по их спецификациям. Интерпретатор директив".