Полный англо-русский словарь
D-алгоритм (для генерирования тестов в комбинационных логических схемах)