Kuropiatnyk, O. S., and B. M. Yakovenko. “Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model”. Science and Transport Progress, no. 4(94), Aug. 2021, pp. 12-24, doi:10.15802/stp2021/245666.