Algoritmy vyvoda teorem metoda vektorovych funkcij Ljapunova. - MATROOVV, V.M (1981)