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