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