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