Василюк, А. С.     Підсистема знищення формул алгоритмів [Текст] / А.С. Василюк, Т.М. Басюк // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі : [зб. наук. пр.] / відп. ред. В. В. Пасічник. — Львів : Вид-во Львів. політехніки, 2014. — С. 22-29.