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