Kuropiatnyk, O. S.; Yakovenko, B. M. Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model. STP 2021, 12-24.