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