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