KOZACHOK, A.; KOCHETKOV, E. Formal Model of Process Functioning in the Operating System. SPIIRAS Proceedings, v. 2, n. 51, p. 78-96, 31 mar. 2017.