Munasipova S.N., “ Formalized approach”., SAI, vol. 4, no. 2, pp. 180–182, Oct. 2024.