Kisser A.E., Krechet V.G., Oshurko V.B. «Dynamics of spinning particles in a vortex gravitational field» // Izvestiya vuzov. Fizika 2022. №9 C.92-100
Veretnov Sergey O., Nepomniaschy Valery A., Bodin Evgeniy V. «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
