Полный англо-русский словарь
Алгоритм уплотнения топологической схемы (на основе символического описания топологии БИС)