Козачок, Александр Васильевич, и Евгений Викторович Кочетков. Формальная модель функционирования процесса в операционной системе. Труды СПИИРАН 2, no. 51 (март 31, 2017): 78-96. просмотрено апрель 25, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/3457.