Kasyanov V., Kasyanova E. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // # 19, 2021