Система автоматизированного анализа структур графов программ и алгоритмов. В сбстатья