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