Стоцький, І.В., Голуб, О.О., Налісний, Г.І. і Костенко, В.П. 2026. Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики. Академічні візії. 53 (Бер 2026). DOI:https://doi.org/10.66556/2786-586X.53.stotskyi-i.