MIRONESCU, D. M. ANALYSIS OF LYAPUNOV STABILITY THEORY FOR DYNAMICAL SYSTEMS. MATHCAD VERIFICATION ALGORITHMS. BNDU 2012, 1.