Косовский, Н. СЕРИЯ НОВЫХ ЛОГИЧЕСКИХ СВЯЗОК ДЛЯ ПРОЕКТИРОВАНИЯ ЭЛЕКТРОННЫХ СИСТЕМ. CTE 2014.