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