Тарабаров, С. Б. Два метода декомпозиционного символьного моделирования схемных функций. Известия вузов. Радиоэлектроника 2016, 59, 56-64.