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