І. В. Стоцький, О. О. Голуб, Г. І. Налісний, і В. П. Костенко, «Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики», AV, вип. 53, Бер 2026.