А. В. Козачок и Е. В. Кочетков, Формальная модель функционирования процесса в операционной системе, ТС, т. 2, вып. 51, сс. 78-96, мар. 2017.