Krechet V.G., Oshurko V.B., Kisser A.E. «Dynamics of spinning particles in a vortex gravitational field» // Izvestiya vuzov. Fizika 2022. №9 C.92-100
Bodin Evgeniy V., Veretnov Sergey O., Nepomniaschy Valery A. «The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language» // Tomsk State University Journal of Control and Computer Science 2020. №53 C.118-126
