Полный англо-русский словарь
Абстрактная спецификация (описание на языке, не зависящем от конкретной реализации)