Ампилова, Н.; Терентьев, С. Реализация интервального алгоритма локализации инвариантных множеств динамических систем. CTE 2014.