Статический и статистический анализ программ. В сб. Архитектура ЭВМ и численные методыстатья