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