КОЗАЧОК, А. В.; КОЧЕТКОВ, Е. В. Формальная модель функционирования процесса в операционной системе. Труды СПИИРАН, v. 2, n. 51, p. 78-96, 31 mar. 2017.