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