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