“Research of a multithreaded non-deterministic system model” (2021) Nexo Revista Científica, 34(01), pp. 193–204. doi:10.5377/nexo.v34i01.11297.