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