For citations:

Bitner V.A., Zaborovsky N.V. The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms. Modeling and Analysis of Information Systems. 2013;20(2):166-177. (In Russ.) https://doi.org/10.18255/1818-1015-2013-2-166-177