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