Scivos, A.     Reachability and dependency calculi - reasoning in network algebras [Текст] / A. Scivos // Шевченківська весна : матеріали VIII Міжнар. міждисциплінарної наук.-практ. конф. молодих вчених : / Київ. нац. ун-т ім. Т. Шевченка, Наук. т-во студ. та аспірантів ; [редкол.: Провотар О.І. та ін.]. — Київ : [Логос], 2010. — С. 89-91.