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