Text this: Гиперграфы в автоматизации проектирования дискретных устройств