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