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