Algoritmy vyvoda teorem metoda vektorovych funkcij Ljapunova. - MATROOVV, V.M. (1981)
Záznam neprešiel kontrolou