Леонов, Г. А.; Кузнецов, Н. В.; Кудряшова, Е. В.; Кузнецова, О. А. Современные методы символьных вычислений: ляпуновские величины и 16-я проблема Гильберта. ТС 2011, 1, 5-36.