D. M. MIRONESCU, “ANALYSIS OF LYAPUNOV STABILITY THEORY FOR DYNAMICAL SYSTEMS. MATHCAD VERIFICATION ALGORITHMS”, BNDU, vol. 1, no. 2, Jun. 2012.