O. S. Kuropiatnyk and B. M. Yakovenko, “Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model ”, STP, no. 4(94), pp. 12–24, Aug. 2021.