Pashchenko, Dmitry V., et al. “Research of a Multithreaded Non-Deterministic System Model”. Nexo Revista Científica, vol. 34, no. 01, Apr. 2021, pp. 193-04, doi:10.5377/nexo.v34i01.11297.