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