Ицыксон, В.М., Моисеев, М.Ю., Цесько, В.А., Захаров, А.В., Ахин, М.Х.: Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы(2), 34-41 (2009)