Василюк, А. С.     Алгоритми згортання і розгортання формул абстрактних алгоритмів [Текст] / А.С. Василюк, Т.М. Басюк // Вісник Національного університету "Львівська політехніка". Серія : Електроніка : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. Д. Заячук. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — С. 37-45.