Ицыксон, В. М., М. Ю. Моисеев, В. А. Цесько, А. В. Захаров, и М. Х. Ахин. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, вып. 2, Apr. 2009, сс. 34-41, https://i-us.ru/index.php/ius/article/view/14827.