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