Полный англо-русский словарь
Конструктивная спецификация (описание, содержащее только явные конструкции данных и определения операций)