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