Система автоматического синтеза и верификации лисп-программдипломная работа (Специалист)