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