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