Козачок, А.В. и Кочетков, Е.В. 2017. Формальная модель функционирования процесса в операционной системе. Труды СПИИРАН. 2, 51 (мар. 2017), 78-96. DOI:https://doi.org/10.15622/sp.51.4.