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