Полный англо-русский словарь
Спецификация наивысшего уровня (непроцедурное описание поведения системы на абстрактном уровне)