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