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