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