Стоцький ІВ, Голуб ОО, Налісний ГІ, Костенко ВП. Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики. AV [інтернет]. 30, Березень 2026 [цит. за 15, Липень 2026];(53). доступний у: https://academy-vision.org/index.php/av/article/view/3337