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