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