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