Радейко, Р. І.     Формалізація як метод дослідження правових явищ [Текст] / Р. І. Радейко // Вісник Національного університету "Львівська політехніка". Серія : Електроніка : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. Д. Заячук. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — С. 86–93.