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